IEEE - Institute of Electrical and Electronics Engineers, Inc. - A symbolic approach for mixed-signal model checking

13th Asia and South Pacific Design Automation Conference ASP-DAC 2008

Author(s): A. Jesser ; L. Hedrich
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2008
Conference Location: Seoul, South Korea
Conference Date: 21 March 2008
Page(s): 404 - 409
ISBN (CD): 978-1-4244-1922-7
ISBN (Paper): 978-1-4244-1921-0
DOI: 10.1109/ASPDAC.2008.4483984
Regular:

In 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... View More

Advertisement