Scott Little

Publication Activity (10 Years)

Years Active: 2001-2014
Publications (10 Years): 0

Top Topics

Theoretical Frameworks

Formal Verification

Power Dissipation

Top Venues

ACM Trans. Design Autom. Electr. Syst.

Publications

Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. MWSCAS (2014)
Subhankar Mukherjee, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. ACM Trans. Design Autom. Electr. Syst. 17 (4) (2012)
Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (4) (2011)
John Havlicek, Scott Little
Realtime regular expressions for analog and mixed-signal assertions. FMCAD (2011)
John Havlicek, Scott Little, Oded Maler, Dejan Nickovic
Property-Based Monitoring of Analog and Mixed-Signal Systems. FORMATS (2010)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21 (2) (2010)
Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little
A new verification method for embedded systems. ICCD (2009)
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, Chris J. Myers
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. ATVA (2007)
Scott Little, Alper Sen, Chris J. Myers
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. MTV (2007)
David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Symbolic Model Checking of Analog/Mixed-Signal Circuits. ASP-DAC (2007)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA (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)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of timed circuits with failure-directed abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (3) (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)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of Timed Circuits with Failure Directed Abstractions. ICCD (2003)
Martin Van De Bovenkamp, Ruben Jongkind, Gu Van Rhijn, Frans M. van Eijnatten, Gudela Grote, Jouni Lehtelä, Timo Leskinen, Peter Vink, Scott Little, Toni Wäfler
The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design. ER (Workshops) (2001)
Chris Winstead, Jie Dai, Woo Jin Kim, Scott Little, Yong-Bin Kim, Chris J. Myers, Christian Schlegel
Analog MAP Decoder for (8, 4) Hamming Code in Subthreshold CMOS. ARVLSI (2001)