« back

AMS - Verification of Analog Mixed Signal (AMS) Systems

We provide an overview on our approaches of Analog Mixed Signal (AMS) systems. Many of them target SystemC AMS-based Virtual Prototypes (VPs), but the solutions can help significantly when going down to lower levels of abstractions.

Metamorphic Testing

• System Level verification of Phase-Locked Loop using Metamorphic Relations (DATE 2021)
• System-level verification of linear and non-linear behaviors of RF amplifiers using metamorphic relations (ASP-DAC 2021)

Advanced Coverage Techniques

• Coverage-directed stimuli generation for characterization of RF amplifiers (TUZ 2020)
• Functional coverage-driven characterization of RF amplifiers (FDL 2019)
• Data flow testing for SystemC-AMS timed data flow models (DATE 2019)

Advanced CRV extending CRAVE

• Using constraints for SystemC AMS design and verification (DVCON 2018)

Testbench Qualification

• Testbench qualification for SystemC-AMS timed data flow models (DATE 2018)

Contact
Please contact Rolf Drechsler in case of questions and/or problems at drechsler@uni-bremen.de.