This demo presents a proof of concept of a metaverification tool for the tool-independent definition and verification of constraints within the analog design flow.

Contact:
Rainer Brück (brueck@rs.uni-siegen.de)