A new assertion property language for analog/mixed-signal circuits.

Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers

Browse the full FDL paper archive.