Forum Discussion

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

System verilog (general info)

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

Thanks in advance for helping,

Best regards

Jenny teh

3 Replies

  • Altera_Forum's avatar
    Altera_Forum
    Icon for Honored Contributor rankHonored Contributor
    15 years ago

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

  • Altera_Forum's avatar
    Altera_Forum
    Icon for Honored Contributor rankHonored Contributor
    15 years ago

    --- 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