Digital Timing Macromodeling for VLSI Design Verification /
Digital Timing Macromodeling for VLSI Design Verification first of all provides an extensive history of the development of simulation techniques. It presents detailed discussion of the various techniques implemented in circuit, timing, fast-timing, switch-level timing, switch-level, and gate-level s...
| Main Author: | Kong, Jeong-Taek |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Overhauser, David |
| Format: | eBook |
| Language: | English |
| Published: |
Boston, MA :
Springer US,
1995.
|
| Series: | Springer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing ;
319. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Interconnects in VLSI Design /
by: Grabinski, Hartmut
Published: (2000)
by: Grabinski, Hartmut
Published: (2000)
On-Line Testing for VLSI /
by: Nicolaidis, Michael
Published: (1998)
by: Nicolaidis, Michael
Published: (1998)
On Optimal Interconnections for VLSI /
by: Kahng, Andrew B.
Published: (1995)
by: Kahng, Andrew B.
Published: (1995)
High-Level VLSI Synthesis /
by: Camposano, Raul
Published: (1991)
by: Camposano, Raul
Published: (1991)
VLSI CAD Tools and Applications /
by: Fichtner, Wolfgang
Published: (1987)
by: Fichtner, Wolfgang
Published: (1987)
Logic Synthesis and Verification /
by: Hassoun, Soha
Published: (2002)
by: Hassoun, Soha
Published: (2002)
Algorithms for VLSI Physical Design Automation /
by: Sherwani, Naveed
Published: (1995)
by: Sherwani, Naveed
Published: (1995)
Optimal VLSI Architectural Synthesis : Area, Performance and Testability /
by: Gebotys, Catherine H.
Published: (1992)
by: Gebotys, Catherine H.
Published: (1992)
VLSI Synthesis of DSP Kernels : Algorithmic and Architectural Transformations /
by: Mehendale, Manesh
Published: (2001)
by: Mehendale, Manesh
Published: (2001)
Computer-Aided Verification : a Special Issue of Formal Methods In System Design on Computer-Aided Verification /
by: Kurshan, Robert
Published: (1993)
by: Kurshan, Robert
Published: (1993)
Sequential Logic Testing and Verification /
by: Ghosh, Abhijit
Published: (1992)
by: Ghosh, Abhijit
Published: (1992)
Binary Decision Diagrams and Applications for VLSI CAD /
by: Minato, Shin-ichi
Published: (1996)
by: Minato, Shin-ichi
Published: (1996)
Logic Synthesis for Low Power VLSI Designs /
by: Iman, Sasan
Published: (1998)
by: Iman, Sasan
Published: (1998)
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics /
by: Khatri, Sunil P.
Published: (2001)
by: Khatri, Sunil P.
Published: (2001)
Analog VLSI Implementation of Neural Systems /
by: Mead, Carver
Published: (1989)
by: Mead, Carver
Published: (1989)
The Dynamics of Digital Excitation /
by: Shoji, Masakazu
Published: (1998)
by: Shoji, Masakazu
Published: (1998)
Direct Digital Synthesizers : Theory, Design and Applications /
by: Vankka, Jouko
Published: (2001)
by: Vankka, Jouko
Published: (2001)
VHDL Modeling for Digital Design Synthesis /
by: Hsu, Yu-Chin
Published: (1995)
by: Hsu, Yu-Chin
Published: (1995)
Multi-Threshold CMOS Digital Circuits : Managing Leakage Power /
by: Anis, Mohab
Published: (2003)
by: Anis, Mohab
Published: (2003)
The Synthesis Approach to Digital System Design /
by: Michel, Petra
Published: (1992)
by: Michel, Petra
Published: (1992)
Advanced Low-Power Digital Circuit Techniques /
by: Elrabaa, Muhammad S.
Published: (1997)
by: Elrabaa, Muhammad S.
Published: (1997)
Digital BiCMOS Integrated Circuit Design /
by: Embabi, S. H. K. (Sherif H. K.)
Published: (1993)
by: Embabi, S. H. K. (Sherif H. K.)
Published: (1993)
Systematic Design of Sigma-Delta Analog-to-Digital Converters /
by: Bajdechi, Ovidiu
Published: (2004)
by: Bajdechi, Ovidiu
Published: (2004)
Co-Synthesis of Hardware and Software for Digital Embedded Systems /
by: Gupta, Rajesh Kumar
Published: (1995)
by: Gupta, Rajesh Kumar
Published: (1995)
Hardware/Software Co-Design and Co-Verification /
by: Bergé, Jean-Michel
Published: (1997)
by: Bergé, Jean-Michel
Published: (1997)
Digital Systems Design and Prototyping Using Field Programmable Logic /
by: Salcic, Zoran
Published: (1997)
by: Salcic, Zoran
Published: (1997)
High-Level Synthesis for Real-Time Digital Signal Processing /
by: Vanhoof, Jan
Published: (1993)
by: Vanhoof, Jan
Published: (1993)
An Artificial Intelligence Approach to VLSI Routing /
by: Joobbani, Rostam
Published: (1985)
by: Joobbani, Rostam
Published: (1985)
Assertion-Based Design /
by: Foster, Harry
Published: (2003)
by: Foster, Harry
Published: (2003)
High Level Synthesis of ASICs under Timing and Synchronization Constraints /
by: Ku, David C.
Published: (1992)
by: Ku, David C.
Published: (1992)
Design Automation for Timing-Driven Layout Synthesis /
by: Sapatnekar, Sachin S.
Published: (1993)
by: Sapatnekar, Sachin S.
Published: (1993)
Analog Circuit Design : High-Speed Analog-to-Digital Converters ; Mixed Signal Design ; PLL's and Synthesizers /
by: Plassche, Rudy J.
Published: (2000)
by: Plassche, Rudy J.
Published: (2000)
Mixed-Mode Simulation /
by: Saleh, Resve A.
Published: (1990)
by: Saleh, Resve A.
Published: (1990)
Technology CAD - Computer Simulation of IC Processes and Devices /
by: Dutton, Robert W.
Published: (1993)
by: Dutton, Robert W.
Published: (1993)
Electronic CAD Frameworks /
by: Barnes, Timothy J.
Published: (1992)
by: Barnes, Timothy J.
Published: (1992)
Asymptotic Waveform Evaluation : And Moment Matching for Interconnect Analysis /
by: Chiprout, Eli
Published: (1994)
by: Chiprout, Eli
Published: (1994)
Synthesis of Power Distribution to Manage Signal Integrity in Mixed-Signal ICs /
by: Stanisic, Balsha R.
Published: (1996)
by: Stanisic, Balsha R.
Published: (1996)
Hardware-Software Co-Design of Embedded Systems : the POLIS Approach /
by: Balarin, Felice
Published: (1997)
by: Balarin, Felice
Published: (1997)
Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom /
by: Mendrela, Ernest
Published: (2003)
by: Mendrela, Ernest
Published: (2003)
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems /
by: Demir, Alper
Published: (1998)
by: Demir, Alper
Published: (1998)