A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	DasGupta, Pallab
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht Springer 2006
Θέματα:	Engineering Computer engineering Electronics Logic design Computer science Computer aided design Systems engineering Electronic and Computer Engineering Electronics and Microelectronics, Instrumentation Logic Design Mathematical Logic and Formal Languages Computer-Aided Engineering (CAD, CAE) and Design Circuits and Systems
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-1-4020-4758-9

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

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

New Algorithms, Architectures and Applications for Reconfigurable Computing
ανά: Lysaght, Patrick
Έκδοση: (2005)

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

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

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

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

Constraint-Based Verification
ανά: Yuan, Jun
Έκδοση: (2006)

Mixed-Signal Layout Generation Concepts
ανά: Lin, Chieh
Έκδοση: (2005)

Abstraction Refinement for Large Scale Model Checking
ανά: Wang, Chao
Έκδοση: (2006)

Fault-Tolerance Techniques for SRAM-based FPGAs
ανά: Kastensmidt, Fernanda Lima
Έκδοση: (2006)

Advances in Design and Specification Languages for SoCs Selected Contributions from FDLβ04
ανά: Boulet, Pierre
Έκδοση: (2005)

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

Scalable Hardware Verification with Symbolic Simulation
ανά: Bertacco, Valeria
Έκδοση: (2006)

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

Rapid Prototyping of Digital Systems
ανά: Hamblen, James O.
Έκδοση: (2006)

Thermal and Power Management of Integrated Circuits
ανά: Vassighi, Arman
Έκδοση: (2006)

Hardware Verification with C++ A Practitionerβs Handbook
ανά: Mintz, Mike
Έκδοση: (2006)

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

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
ανά: Sutherland, Stuart
Έκδοση: (2006)

Interconnect Noise Optimization in Nanometer Technologies
ανά: Elgamel, Mohamed A.
Έκδοση: (2006)

Embedded System Design
ανά: Marwedel, Peter, 1949-
Έκδοση: (2006)

Effective Functional Verification Principles and Processes
ανά: Vasudevan, Srivatsa
Έκδοση: (2006)

Writing Testbenches using System Verilog
ανά: Bergeron, Janick
Έκδοση: (2006)

Digital Design and Implementation with Field Programmable Devices
Έκδοση: (2005)

Assertion-Based Design
ανά: Foster, Harry
Έκδοση: (2005)

Direct Transistor-level Layout for Digital Blocks
ανά: Gopalakrishnan, Prakash
Έκδοση: (2005)

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility
ανά: Ben Dhia, Sonia
Έκδοση: (2006)

Analog Circuit Design RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage
ανά: Steyaert, Michiel
Έκδοση: (2006)

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

Fault Diagnosis of Analog Integrated Circuits
ανά: Kabisatpathy, Prithviraj
Έκδοση: (2005)

Advanced BDD Optimization
ανά: Ebendt, RΓΌdiger
Έκδοση: (2005)

Advanced design techniques for RF power amplifiers
ανά: Rudiakova, Anna
Έκδοση: (2006)

Ξ£Ξ A/D CONVERSION FOR SIGNAL CONDITIONING
ανά: Philips, Kathleen
Έκδοση: (2006)

Transient Analysis of Electric Power Circuits Handbook
ανά: Shenkman, Arieh L.
Έκδοση: (2005)

Calibration techniques in nyquist A/D converters
ανά: Ploeg, Hendrik
Έκδοση: (2006)

Wide-Bandwidth High-Dynamic Range D/A Converters
ανά: Doris, Konstantinos
Έκδοση: (2006)

Design of Very High-Frequency Multirate Switched-Capacitor Circuits Extending the Boundaries of CMOS Analog Front-End Filtering
ανά: U, Seng-Pan
Έκδοση: (2006)

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
ανά: Patel, Hiren D.
Έκδοση: (2005)

Scalable Techniques for Formal Verification
ανά: Ray, Sandip
Έκδοση: (2010)

Functional Verification of Programmable Embedded Architectures A Top-Down Approach
ανά: Mishra, Prabhat
Έκδοση: (2005)

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