System verilog (general info)

[Altera_Forum]

quartus9.1 support SystemVerilog, does anyone know how the SystemVerilog assertions are processed when synthesisin 

 Thanks in advance for helping, Best regards Jenny teh

[Altera_Forum]

No, they are gracefully ignored.

[Altera_Forum]

You may check this out: Quartus II Support for SystemVerilog 2005 in Help file Section 17

[Altera_Forum]

--- Quote Start ---  No, they are gracefully ignored.  --- Quote End ---    Yes, that's the way most of the SYNTH tools behave. This is really useful for RTL designers as they can now comfortably add assertions during their RTL coding stage itself without worrying about extra gatecount, tool issues, additional need for ifdef etc. A while back the formal equivalence checkers didn't support these, but now they do is what vendors tell me!   Srini cvcblr.com/blog