EAMS 2: Verification of mixed-signal systems
Torsten Maehne, Sumit Adhikari · Forum on specification and Design Languages · 2012
This session includes contribution that advance state of the art in verification of mixed-signal systems. The first paper gives a method to emulate analog loads for in-lab experiments. The second paper describes a method for more efficient simulation of linear systems in SystemC AMS. The third paper proposes a method for specifying assertions for analog circuits.