Forum Discussion

Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
16 years ago

Which version of ModelSim support System Verilog Assertions?

Hello, can anyone tell me if ModelSim Altera Edition supports SystemVerilog Assertions? IF not should I get ModelSim PE, DE, or SE? thanks, joe
Altera_Forum's avatar
Altera_Forum
Icon for Honored Contributor rankHonored Contributor
16 years ago

Only Modelsim DE supports proper SystemVerilog assertions. The problem is that many proprietary "assertion based verification" tools and verilog add-ons have been proposed by HDL vendors (i.e. PSL, sugar... etc). And now finally after many years they finally decided to standardize them and introduce them to the standard language, so you need to give modelsim some time to implement them. Not good for us SystemVerilog users I know :(