Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /

Generating Hardware Assertion Checkers For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring /

Assertion-based design is a powerful new paradigm that is facilitating quality improvement in electronic design. Assertions are statements used to describe properties of the design (I.e., design intent), that can be included to actively check correctness throughout the design cycle and even the life...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Boulé, Marc (Συγγραφέας), Zilic, Zeljko (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Dordrecht : Springer Netherlands, 2008.
Θέματα:	Engineering. Programming languages (Electronic computers). Computers. Electronic circuits. Circuits and Systems. Theory of Computation. Programming Languages, Compilers, Interpreters.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

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

Hardware Verification with SystemVerilog An Object-Oriented Framework /
ανά: Mintz, Mike, κ.ά.
Έκδοση: (2007)

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

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification from FDL 2009 /
Έκδοση: (2010)

Digital VLSI Design with Verilog A Textbook from Silicon Valley Technical Institute /
ανά: Williams, John
Έκδοση: (2008)

Exploring C for Microcontrollers A Hands on Approach /
ανά: Parab, Jivan S., κ.ά.
Έκδοση: (2007)

Dynamically Reconfigurable Systems Architectures, Design Methods and Applications /
Έκδοση: (2010)

Verilog: Frequently Asked Questions Language, Applications and Extensions /
ανά: Chonnad, Shivakumar, κ.ά.
Έκδοση: (2004)

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

A Practical Introduction to PSL
ανά: Eisner, Cindy, κ.ά.
Έκδοση: (2006)

Separation Logic for High-level Synthesis
ανά: Winterstein, Felix
Έκδοση: (2017)

Worst-Case Execution Time Aware Compilation Techniques for Real-Time Systems
ανά: Lokuciejewski, Paul, κ.ά.
Έκδοση: (2011)

Real-Time Object Uniform Design Methodology with UML
Έκδοση: (2007)

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06 /
Έκδοση: (2007)

Optimized ASIP Synthesis from Architecture Description Language Models
ανά: Schliebusch, Oliver, κ.ά.
Έκδοση: (2007)

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08 /
Έκδοση: (2009)

System Level Design of Reconfigurable Systems-on-Chip
Έκδοση: (2005)

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
Έκδοση: (2007)

Advanced Memory Optimization Techniques for Low-Power Embedded Processors
ανά: Verma, Manish, κ.ά.
Έκδοση: (2007)

Accelerating Test, Validation and Debug of High Speed Serial Interfaces
ανά: Fan, Yongquan, κ.ά.
Έκδοση: (2011)

Principles of the Spin Model Checker
ανά: Ben-Ari, Mordechai
Έκδοση: (2008)

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

Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /
Έκδοση: (2004)

SystemC Methodologies and Applications /
Έκδοση: (2003)

Higher-Level Hardware Synthesis
ανά: Sharp, Richard
Έκδοση: (2004)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
Έκδοση: (2008)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Έκδοση: (2006)

Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings /
Έκδοση: (2009)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
Έκδοση: (2007)

Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /
Έκδοση: (2011)

Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /
Έκδοση: (2011)

System-level Test and Validation of Hardware/Software Systems
Έκδοση: (2005)

Code Generation with Roslyn
ανά: Harrison, Nick
Έκδοση: (2017)

Pro Python Best Practices Debugging, Testing and Maintenance /
ανά: Rother, Kristian
Έκδοση: (2017)

Verification by Error Modeling Using Testing Techniques in Hardware Verification /
ανά: Radecka, Katarzyna, κ.ά.
Έκδοση: (2003)

Software Development, Design and Coding With Patterns, Debugging, Unit Testing, and Refactoring /
ανά: Dooley, John F.
Έκδοση: (2017)

Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers /
Έκδοση: (2012)

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Έκδοση: (2013)

C++ Standard Library Quick Reference
ανά: Van Weert, Peter, κ.ά.
Έκδοση: (2016)

Hardware-dependent Software Principles and Practice /
Έκδοση: (2009)

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