Formal Verification and In-Situ Test of Analog and Mixed-Signal Circuits /
| Main Author: | Yin, Leyi (Author) |
|---|---|
| Other Authors: | Li, Peng (Thesis advisor) |
| Format: | Thesis eBook |
| Language: | English |
| Published: |
[College Station, Texas] :
[Texas A & M University],
[2014]
|
| Subjects: | |
| Online Access: | Link to OAK Trust copy |
Similar Items
Behavioral model equivalence checking for large analog mixed signal systems /
by: Singh, Amandeep
Published: (2012)
by: Singh, Amandeep
Published: (2012)
Test and design-for-testability in mixed-signal integrated circuits /
Published: (2004)
Published: (2004)
Modeling, optimization and testing for analog/mixed-signal circuits in deeply scaled CMOS technologies /
by: Yu, Guo
Published: (2011)
by: Yu, Guo
Published: (2011)
SAT-based verification for analog and mixed-signal circuits /
by: Deng, Yue
Published: (2012)
by: Deng, Yue
Published: (2012)
Analog and mixed-signal test /
Published: (1998)
Published: (1998)
Mixed-signal circuits /
Published: (2016)
Published: (2016)
Oscillation-based test in mixed-signal circuits /
Published: (2006)
Published: (2006)
Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Published: (2006)
Published: (2006)
Analog and mixed-signal hardware description languages /
Published: (1997)
Published: (1997)
Performance optimization techniques in analog mixed-signal, and radio-frequency circuit design /
Published: (2015)
Published: (2015)
Design of Analog & Mixed Signal Circuits in Continuous-Time Sigma-Delta Modulators for System-on-Chip applications /
by: Park, Chang Joon
Published: (2014)
by: Park, Chang Joon
Published: (2014)
Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)
by: Li, Lun, 1970-
Published: (2010)
Digital system verification : a combined formal methods and simulation framework /
by: Li, Lun, 1970-
Published: (2010)
by: Li, Lun, 1970-
Published: (2010)
Switched-current signal processing and A/D conversion circuits : design and implementation /
by: Jonsson, Bengt E.
Published: (2000)
by: Jonsson, Bengt E.
Published: (2000)
Analog circuit design : high-speed analog-to-digital converters, mixed signal design, PLL's and synthesizers /
Published: (2000)
Published: (2000)
Development of robust analog and mixed-signal circuits in the presence of process-voltage-temperature variations /
by: Onabajo, Marvin
Published: (2012)
by: Onabajo, Marvin
Published: (2012)
ANALOG 2018 ; 16th GMM/ITG-Symposium : 13-14 Sept. 2018.
Published: (2018)
Published: (2018)
Digitally enhanced mixed signal systems /
Published: (2019)
Published: (2019)
Formal hardware verification : methods and systems in comparison /
Published: (1997)
Published: (1997)
Applied formal verification /
by: Perry, Douglas L.
Published: (2005)
by: Perry, Douglas L.
Published: (2005)
An introduction to mixed-signal IC test and measurement /
by: Burns, Mark, 1962-
Published: (2001)
by: Burns, Mark, 1962-
Published: (2001)
Analog and Mixed-Signal Circuits in Nanoscale CMOS /
Published: (2023)
Published: (2023)
Analog circuit design : structured mixed-mode design, multi-bit sigma-delta converters, short range RF circuits /
Published: (2002)
Published: (2002)
CMOS analog and mixed-signal circuit design : practices and innovations /
by: Marzuki, Arjuna, 1975-
Published: (2020)
by: Marzuki, Arjuna, 1975-
Published: (2020)
Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)
by: Fujita, Masahiro, 1956-
Published: (2008)
CMOS telecom data converters /
Published: (2003)
Published: (2003)
Test and diagnosis of analogue, mixed-signal and RF integrated circuits : the system on chip approach /
Published: (2008)
Published: (2008)
Analog baseband filters and mixed signal circuits for broadband receiver systems /
by: Kulkarni, Raghavendra Laxman
Published: (2012)
by: Kulkarni, Raghavendra Laxman
Published: (2012)
Nanoelectronic mixed-signal system design /
by: Mohanty, Saraju P.
Published: (2015)
by: Mohanty, Saraju P.
Published: (2015)
Selected topics in RF, analog and mixed signal circuits and systems /
Published: (2017)
Published: (2017)
Analog and mixed-signal boundary-scan : a guide to the IEEE 1149.4 test standard /
Published: (1999)
Published: (1999)
Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)
by: Fujita, Masahiro, 1956-
Published: (2008)
Verification techniques for system-level design /
by: Fujita, Masahiro, 1956-
Published: (2008)
by: Fujita, Masahiro, 1956-
Published: (2008)
Analog test signal generation using periodic [sigma delta]-encoded data streams /
by: Dufort, Benoit, 1970-
Published: (2000)
by: Dufort, Benoit, 1970-
Published: (2000)
Model engineering in mixed-signal circuit design : a guide to generating accurate behavioral models in VHDL-AMS /
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)
by: Huss, Sorin A. (Sorin Alexander)
Published: (2001)
Analog circuit design using current-mode technique /
by: Maheshwari, Sudhanshu
Published: (2023)
by: Maheshwari, Sudhanshu
Published: (2023)
Analog signal generation for built-in-self-test of mixed-signal integrated circuits /
by: Roberts, Gordon W., 1959-
Published: (1995)
by: Roberts, Gordon W., 1959-
Published: (1995)
Demystifying mixed-signal test methods /
by: Baker, Mark
Published: (2003)
by: Baker, Mark
Published: (2003)
Analog integrated circuit design /
by: Grebene, Alan B., 1939-
Published: (1972)
by: Grebene, Alan B., 1939-
Published: (1972)
Analog circuits cookbook.
by: Hickman, Ian
Published: (1999)
by: Hickman, Ian
Published: (1999)