3 search results - page 1 / 1 » Towards Assertion Based Verification of Analog and Mixed Sig... |
FDL
2007
IEEE
13 years 8 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
ICCS
2007
Springer
13 years 8 months ago
2007
Springer
In this paper, we show how symbolic algebra in Mathematica can be used to formally verify analog and mixed signal designs. The verification methodology is based on combining induct...
FMCAD
2007
Springer
13 years 8 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...