Analog MAP Decoder for (8, 4) Hamming Code in Subthreshold CMOS. - Chris Winstead; Jie Dai; Woo Jin Kim; Scott Little; Yong-Bin Kim; Chris J. Myers; Christian Schlegel (ARVLSI, 2001)

The E/S Tool IT-Support for Ergonomic and Sociotechnical System Design. - 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 (ER (Workshops), 2001)

Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. - Scott Little; David Walter; Nicholas Seegmiller; Chris J. Myers; Tomohiro Yoneda (ATVA, 2004)

The Case for Analog Circuit Verification. - Chris J. Myers; Reid R. Harrison; David Walter; Nicholas Seegmiller; Scott Little (FAC, 2005)

Verification of analog/mixed-signal circuits using labeled hybrid petri nets. - Scott Little; Nicholas Seegmiller; David Walter; Chris J. Myers; Tomohiro Yoneda (ICCAD, 2006)

Verification of timed circuits with failure-directed abstractions. - Hao Zheng 001; Chris J. Myers; David Walter; Scott Little; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

Symbolic Model Checking of Analog/Mixed-Signal Circuits. - David Walter; Scott Little; Nicholas Seegmiller; Chris J. Myers; Tomohiro Yoneda (ASP-DAC, 2007)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers (ATVA, 2007)

Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. - David Walter; Scott Little; Chris J. Myers (ATVA, 2007)

Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. - Scott Little; Alper Sen 001; Chris J. Myers (MTV, 2007)

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. - David Walter; Scott Little; Chris J. Myers; Nicholas Seegmiller; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Efficient Modeling and Verification of Analog/Mixed Signal Circuits Using Labeled Hybrid Petri nets. - Scott Little (2008)

A new verification method for embedded systems. - Robert A. Thacker; Chris J. Myers; Kevin R. Jones; Scott Little (ICCD, 2009)

Property-Based Monitoring of Analog and Mixed-Signal Systems. - John Havlicek; Scott Little; Oded Maler; Dejan Nickovic (FORMATS, 2010)

Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. - Scott Little; David Walter; Kevin R. Jones; Chris J. Myers; Alper Sen 001 (Int. J. Found. Comput. Sci., 2010)

Realtime regular expressions for analog and mixed-signal assertions. - John Havlicek; Scott Little (FMCAD, 2011)

Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. - Scott Little; David Walter; Chris J. Myers; Robert A. Thacker; Satish Batchu; Tomohiro Yoneda (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2011)

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice. - Subhankar Mukherjee 001; Pallab Dasgupta; Siddhartha Mukhopadhyay; Scott Little; John Havlicek; Srikanth Chandrasekaran (ACM Trans. Design Autom. Electr. Syst., 2012)

LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. - Andrew N. Fisher; Satish Batchu; Kevin R. Jones; Dhanashree Kulkarni; Scott Little; David Walter; Chris J. Myers (MWSCAS, 2014)