EAMS 2: Verification of mixed-signal systems

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.