A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Εμφάνιση άλλων εκδόσεων (1)

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	DasGupta, Pallab (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2006.
Θέματα:	Engineering. Logic design. Mathematical logic. Computer-aided engineering. Electrical engineering. Electronics. Microelectronics. Electronic circuits. Circuits and Systems. Computer-Aided Engineering (CAD, CAE) and Design. Electronics and Microelectronics, Instrumentation. Logic Design. Electrical Engineering. Mathematical Logic and Formal Languages.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

A Roadmap for Formal Property Verification
ανά: DasGupta, Pallab
Έκδοση: (2006)

Taxonomies for the Development and Verification of Digital Systems
Έκδοση: (2005)

VLSI Physical Design: From Graph Partitioning to Timing Closure
ανά: Kahng, Andrew B., κ.ά.
Έκδοση: (2011)

Introduction to Embedded System Design Using Field Programmable Gate Arrays
ανά: Dubey, Rahul
Έκδοση: (2009)

Standardized Functional Verification
ανά: Wiemann, Alan
Έκδοση: (2008)

New Algorithms, Architectures and Applications for Reconfigurable Computing
Έκδοση: (2005)

System Verilog for Verification A Guide to Learning the Testbench Language Features /
ανά: Spear, Chris
Έκδοση: (2008)

Ultra Low-Power Electronics and Design
Έκδοση: (2004)

Substrate Noise Coupling in Mixed-Signal ASICs
Έκδοση: (2003)

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
ανά: CASTRO-LÓPEZ, R., κ.ά.
Έκδοση: (2006)

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™ /
ανά: Silva, Francisco da, κ.ά.
Έκδοση: (2006)

Timing Optimization Through Clock Skew Scheduling
Έκδοση: (2009)

Taxonomies for the Development and Verification of Digital Systems
ανά: Bailey, Brian
Έκδοση: (2005)

Nanometer Technology Designs High-Quality Delay Tests
ανά: Tehranipoor, Mohammad, κ.ά.
Έκδοση: (2008)

Verification Methodology Manual for SystemVerilog
ανά: Bergeron, Janick, κ.ά.
Έκδοση: (2006)

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits
ανά: Bushnell, Michael L., κ.ά.
Έκδοση: (2002)

Equivalence Checking of Digital Circuits Fundamentals, Principles, Methods /
ανά: Molitor, Paul, κ.ά.
Έκδοση: (2004)

Logic Synthesis and Verification Algorithms
ανά: Hachtel, Gary D., κ.ά.
Έκδοση: (1996)

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages /
ανά: Salcic, Zoran, κ.ά.
Έκδοση: (2000)

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits
ανά: Patra, Priyardarsan, κ.ά.
Έκδοση: (2008)

CMOS Current-Mode Circuits for Data Communications
ανά: Yuan, Fei
Έκδοση: (2007)

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design /
ανά: Chinnery, David, κ.ά.
Έκδοση: (2007)

Power Distribution Networks with On-Chip Decoupling Capacitors
ανά: Popovich, Mikhhail, κ.ά.
Έκδοση: (2008)

Leakage in Nanometer CMOS Technologies
ανά: Narendra, Siva G., κ.ά.
Έκδοση: (2006)

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair /
ανά: Chang, Kai-hui, κ.ά.
Έκδοση: (2009)

Introduction to Mixed-Signal, Embedded Design
ανά: Doboli, Alex, κ.ά.
Έκδοση: (2011)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04 /
Έκδοση: (2005)

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Έκδοση: (2003)

Static Timing Analysis for Nanometer Designs A Practical Approach /
ανά: Chadha, Rakesh, κ.ά.
Έκδοση: (2009)

Low-Power High-Resolution Analog to Digital Converters Design, Test and Calibration /
ανά: Zjajo, Amir, κ.ά.
Έκδοση: (2011)

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity /
ανά: Leventhal, Roy G., κ.ά.
Έκδοση: (2006)

ESL Models and their Application Electronic System Level Design and Verification in Practice /
ανά: Bailey, Brian, κ.ά.
Έκδοση: (2010)

The Verillog® Hardware Description Language
ανά: Thomas, Donald E., κ.ά.
Έκδοση: (2002)

Power Estimation and Optimization Methodologies for VLIW-Based Embedded Systems
ανά: Zaccaria, Vittorio, κ.ά.
Έκδοση: (2003)

Quantifying and Exploring the Gap Between FPGAs and ASICs Measuring and Exploring /
ανά: Kuon, Ian, κ.ά.
Έκδοση: (2010)

Dynamics of Microelectromechanical Systems
ανά: Lobontiu, Nicolae
Έκδοση: (2007)

Logic Synthesis for Compositional Microprogram Control Units
Έκδοση: (2008)

Digital Logic Design Using Verilog Coding and RTL Synthesis /
ανά: Taraate, Vaibbhav
Έκδοση: (2016)

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation /
ανά: Palchaudhuri, Ayan, κ.ά.
Έκδοση: (2016)

Advanced Symbolic Analysis for VLSI Systems Methods and Applications /
ανά: Shi, Guoyong, κ.ά.
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών