|
TEST GENERATION FOR ANALOG AND MIXED-SIGNAL CIRCUITS USING HYBRID SYSTEM MODELSKeywords: Hybrid System , Formal Methods in Conformance Testing , Analog and Mixed-Signal Circuit. Abstract: In this paper we propose an approach for testing time-domain properties of analog and mixed-signalcircuits. The approach is based on an adaptation of a recently developed test generation technique forhybrid systems and a new concept of coverage for such systems. The approach is illustrated by itsapplication to some benchmark circuits.
|