Automatic structural abstraction techniques for enhanced verification

Automatic structural abstraction techniques for enhanced verification

Not available === text

Bibliographic Details
Main Author:	Baumgartner, Jason Raymond
Format:	Others
Language:	English
Published:	2011
Subjects:	Integrated circuits > Verification Computer-aided design
Online Access:	http://hdl.handle.net/2152/11263

Similar Items

Symbolic methods in simulation-based verification
by: Yuan, Jun
Published: (2008)

Placement techniques in automatic analog layout generation.
Published: (2012)

Improving timing verification and delay testing methodologies for IC designs
by: Zeng, Jing
Published: (2008)

Combining advanced formal hardware verification techniques
by: Reeber, Erik Henry, 1978-
Published: (2008)

Using theorem proving and algorithmic decision procedures for large-scale system verification
by: Ray, Sandip
Published: (2008)

Automatic Datapath Abstraction Of Pipelined Circuits
by: Vlad, Ciubotariu
Published: (2011)

Automatic Datapath Abstraction Of Pipelined Circuits
by: Vlad, Ciubotariu
Published: (2011)

Bluenose II: Towards Faster Design and Verification of Pipelined Circuits
by: Chan, Ca Bol
Published: (2008)

Bluenose II: Towards Faster Design and Verification of Pipelined Circuits
by: Chan, Ca Bol
Published: (2008)

INTELLIGENCE DRIVEN TEST SEQUENCE GENERATOR FOR VLSI (VECTOR, AUTOMATIC TESTING, SCAN DESIGN, FAULT SIMULATION, HEURISTIC SEARCH).
by: MOHSSENIBEHBAHANI, ALAA.
Published: (1984)

Integrated Design Validation: Combining Simulation and Formal Verification for Digital Integrated Circuits
by: Lun Li, et al.
Published: (2006-04-01)

VERIFICATION OF INTEGRATED CIRCUIT BEHAVIORAL MODELS BY PROGRAMMABLE LOGIC
by: N. M. Chernetskaya, et al.
Published: (2018-05-01)

COMPUTER-AIDED DESIGN OF THERMIONIC INTEGRATED CIRCUIT ACTIVE DEVICES.
by: SCHOENEMAN, DONALD WARREN.
Published: (1985)

Formal Modeling and Verification of Delay-Insensitive Circuits
by: Park, Hoon
Published: (2015)

LOVERD--a logic design verification and diagnosis system via test generation
by: Zhou, Jing, 1959-
Published: (1989)

Efficient alternative wiring techniques and applications.
Published: (2001)

Formal Verification Of Analog And Mixed Signal Designs Using Simulation Traces
by: Lata, Kusum
Published: (2011)

Design of a Second-order Filter Using the gm-C Technique
by: Chandrasekaran, Girish
Published: (1996)

The Verification Methodics of the Effects of Short-Circuit Currents in Windings of the Power Transformers
by: Miroslav Gutten, et al.
Published: (2002-01-01)

Floorplan Design and Yield Enhancement of 3-D Integrated Circuits
by: Nain, Rajeev Kumar
Published: (2011)

An investigation of the response model method for robust design
by: McShane Vaughn, Mary A.
Published: (2008)

Verification-Aware Processor Design
by: Lungu, Anita
Published: (2009)

Techniques for formal verification of concurrent and distributed program traces
by: Sen, Mehmet Alper
Published: (2008)

Abstraction as the Key to Programming, with Issues for Software Verification in Functional Languages
by: Bronish, Derek
Published: (2012)

Analog layout automation.
Published: (2012)

Abstraction techniques for verification of concurrent systems
by: Enea, Constantin
Published: (2008)

The Evaluation of Device Model Dependence in the Design of a High-Frequency, Analog, CMOS Transconductance-C Filter
by: Brotman, Susan Rose
Published: (1994)

A CAD tool for the prediction of VLSI interconnect reliability.
by: Frost, David Frank.
Published: (2012)

Computer-Aided Fixture Design Verification
by: Kang, Yuezhuang
Published: (2002)

Automated Verification and Optimization of SFQ Superconducting Circuits
by: Andrew M. Haslam, et al.
Published: (2019-01-01)

Exploring Analog and Digital Design Using the Open-Source Electric VLSI Design System
by: Aluru, Gunasekhar
Published: (2016)

Retiming with wire delay and post-retiming register placement.
Published: (2004)

Vérification formelle des circuits digitaux décrits en VHDL
by: Salem, Ashrag Mohamed El-Farghly
Published: (1992)

Debugging a high-performance WLAN chip with palladium XP emulator
by: Wang Lei, et al.
Published: (2019-08-01)

An Automata-Theoretic Approach to Hardware/Software Co-verification
by: Li, Juncao
Published: (2010)

Abstraction Guided Semi-formal Verification
by: Parikh, Ankur
Published: (2014)

Techniques d'abstraction dans la verification des systèmes concurrents
by: Enea, Constantin
Published: (2008)

Mechanical verification of reactive systems
by: Manolios, Panagiotis
Published: (2011)

Abstract lattices for the verification of systèmes with stacks and queues
by: Le Gall, Tristan
Published: (2008)

Report on the 1st International Workshop on Validation, Verification and Integrity Issues of Expert and Database Systems
by: T. Bench-Capon, et al.
Published: (1999-01-01)