| # Regular override integer |
| verific -sv top.v |
| verific -vhdl top.vhd |
| tee -o test1.out verific -import -chparam WIDTH 2 top_veri_v2k top_veri_95 top_vhdl |
| |
| # Regular override string |
| design -reset |
| verific -sv top.v |
| verific -vhdl top.vhd |
| tee -o test2.out verific -import -chparam greeting "hola hola" top_veri_v2k top_veri_95 top_vhdl |
| |
| # Non-existent overrides |
| design -reset |
| verific -sv top.v |
| verific -vhdl top.vhd |
| tee -o test3.out verific -import -chparam nonexistent 12345678 top_veri_v2k top_veri_95 top_vhdl |
| |
| # Duplicate overrides |
| design -reset |
| verific -sv top.v |
| verific -vhdl top.vhd |
| tee -o test4.out verific -import -chparam WIDTH 3 -chparam WIDTH 1 top_veri_v2k top_veri_95 top_vhdl |
| |
| # All of the above |
| design -reset |
| verific -sv top.v |
| verific -vhdl top.vhd |
| tee -o test5.out verific -import -chparam WIDTH 9999 -chparam WIDTH 2 -chparam INIT 0 -chparam greeting "bonjour " -chparam nonexistent 12345678 top_veri_v2k top_veri_95 top_vhdl |
