Verilog-AMS Extensions Useful/Required for Assertions

Any extensions to Verilog-AMS required for assertions should be listed/linked here.

Proposal	Purpose	Mantis
Power supply connection	Power related assertions	http://www.verilog.org/mantis/view.php?id=1754

-- KevinCameron - 09 Mar 2009

This topic: VerilogAMS > WebHome > AmsAssertions > AmsAssertionExtensions
Topic revision: r1 - 2009-03-09 - 20:55:04 - KevinCameron