Nicholas Seegmiller

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (12) (2008)
David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Symbolic Model Checking of Analog/Mixed-Signal Circuits. ASP-DAC (2007)
Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little
The Case for Analog Circuit Verification. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda
Verification of analog/mixed-signal circuits using labeled hybrid petri nets. ICCAD (2006)
Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. ATVA (2004)