Cover Image

SAT-based verification for analog and mixed-signal circuits /

Bibliographic Details
Main Author:	Deng, Yue
Other Authors:	Li, Peng (Thesis advisor)
Format:	Thesis eBook
Language:	English
Published:	[College Station, Tex.] : [Texas A&M University], [2012]
Subjects:	Major Computer Engineering. reachability anlysis verification SAT Analog simulation modeling
Online Access:	Link to OAK Trust copy

Similar Items

Formal Verification and In-Situ Test of Analog and Mixed-Signal Circuits /
by: Yin, Leyi
Published: (2014)

Behavioral model equivalence checking for large analog mixed signal systems /
by: Singh, Amandeep
Published: (2012)

Determination of uncertainty in reserves estimate from analysis of production decline data /
by: Wang, Yuhong, 1978-
Published: (2007)

10 SATs : plus advice from the College Board on how to prepare for them.
Published: (1990)

Modeling, optimization and testing for analog/mixed-signal circuits in deeply scaled CMOS technologies /
by: Yu, Guo
Published: (2011)

The case against the SAT /
by: Crouse, James
Published: (1988)

Cracking the SAT.
Published: (2006)

Life with the SAT : assessing our young people and our times /
by: Hanford, George H.
Published: (1991)

SAT classic /
Published: (1995)

Guidelines for improving SAT scores /
by: Thomson, Scott D.
Published: (1978)

The SAT TV review /
Published: (1987)

S.A.T. student preparation course.
Published: (1981)

Panic plan for the SAT /
by: Carris, Joan Davenport
Published: (1990)

The official SAT study guide : for the new SAT.
Published: (2004)

Barron's SAT 2400 : aiming for the perfect score.

How to prepare for SAT I /
by: Brownstein, Samuel C., 1909-1996
Published: (1994)

How to prepare for the SAT I /
by: Green, Sharon
Published: (2001)

Introducing the new SAT : the College Board's official guide.
Published: (1993)

Barron's SAT 1 : how to prepare for the SAT 1 /
by: Green, Sharon, 1939-
Published: (2001)

Preparation for the SAT* Scholastic Aptitude Test /
Published: (1992)

Preparation for the SAT, scholastic aptitude test /
Published: (1989)

Rethinking the SAT : the future of standardized testing in university admissions /
Published: (2004)

SAT math.
Published: (2005)

The use, acceptance, and impact of Taking the SAT : a test familiarization booklet /
by: Powers, Donald E.
Published: (1979)

SAT success /
by: Carris, Joan Davenport
Published: (1996)

SAT-based scalable formal verification solutions /
by: Ganai, Malay
Published: (2007)

Cliffs SAT I reasoning test preparation guide /
by: Bobrow, Jerry
Published: (1994)

SAT math workbook /
by: Saunders, Brigitte
Published: (1993)

The Rand Sync-Sat Calculator /
by: Ostrander, N. C.
Published: (1967)

SAT success : test prep /
by: Kleinman, Liza
Published: (2002)

Analog and Mixed-Signal Circuits in Nanoscale CMOS /
Published: (2023)

Analogy-making as perception : a computer model /
by: Mitchell, Melanie
Published: (1993)

Declining SAT scores /
by: Lyke, Bob
Published: (1979)

Analog electronics : circuits, systems and signal processing /
by: Crecraft, D. I.
Published: (2002)

Bob Miller's SAT math for the clueless : SAT math /
by: Miller, Robert, 1943-
Published: (2005)

SAT writing.
Published: (2005)

Mathematics workbook for SAT I /
by: Brownstein, Samuel C., 1909-1996
Published: (1994)

Scalable hardware verification with symbolic simulation /
by: Bertacco, Valeria
Published: (2006)

Analog devices and circuits.
by: Gontrand, Christian
Published: (2024)

Analog devices and circuits.
by: Gontrand, Christian
Published: (2024)