You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
- [tasks]
- flag_check
-
- [options]
- mode prove
- depth 30
-
- [engines]
- abc pdr
-
- [script]
- verific -vhdl TestDesign.vhd
- verific -sv Properties.sv
- verific -import -extnets -all TestDesign
- prep -top TestDesign
- setundef -anyseq -undriven
-
- [files]
- Properties.sv
- TestDesign.vhd
|