Verification of Mixed-Signal Systems with Affine Arithmetic Assertions

Table 1

Tradeoffs of verification methods for AMS systems with deviations.

Verification techniques	Disadvantages	Advantages
Multirun simulations	Low verification coverage, no “guarantee”	General applicability
	Formal methods		State explosion problem, no complex, heterogeneous systems	High verification coverage “guarantee,” counter examples
Assertion-based techniques (MSA, AMT tool)		Only nominal behaviour verified, no “guarantee”	Well suited for complex systems, increased coverage