Export Citations
2 Results for: Book/Issue: ASP-DAC '08: Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,846,323 records)|Limit your search to The ACM Full-Text Collection (775,757 records)
Showing 1 - 2of2 Results
Select All
- research-articleJanuary 2008
A symbolic approach for mixed-signal model checking
ASP-DAC '08: Proceedings of the 2008 Asia and South Pacific Design Automation ConferencePages 404–409In this paper we firstly introduce a novel symbolic model checker (MScheck) for mixed-signal circuits. MScheck is capable to conflate the continuous behavior, typical for analog designs, and the discrete behavior in the digital domain for formal ...
