Opening book details…
Can I read Constraint-Based Verification on EtoBox?
Constraint-Based Verification by Jun Yuan, Carl Pixley, Adnan Aziz (auth.) is a nonfiction available to read on EtoBox.
What is Constraint-Based Verification about?
**Constraint-Based Verifcation** covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name. Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered. **Constraint-Based Verification** is written for verification engineers, as well as researchers - it explains both methodological and technical issues. Particular stress is given to the latest advances in functional verification.
Who reads Constraint-Based Verification?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jun Yuan, Carl Pixley, Adnan Aziz (auth.)
- Publisher
- Kluwer Academic Publishers
- Published
- 2006
- Language
- EN
- ISBN
- 9780387307848
- Category
- nonfiction
- Subjects
- Engineering, Computer Science, Science
Other editions & translations
More by Jun Yuan, Carl Pixley, Adnan Aziz (auth.)
Browse all works by Jun Yuan, Carl Pixley, Adnan Aziz (auth.)
Similar books
- Hardware Design Verification : Simulation and Formal Method-based Approaches — William K. C Lam (2005)
- Advanced Formal Verification — Rolf Drechsler; NetLibrary, Inc (2004)
- Constraint Based Agents : an Architecture for Constraint-based Modeling and Local-search-based Reasoning for Planning and Scheduling in Open and Dynamics Worlds — Alexander Nareyek. (2001)
- SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems) — Dr. Malay K. Ganai, Dr. Aarti Gupta (auth.) (2007)
- High-Level Verification : Methods and Tools for Verification of System-Level Designs — Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta (auth.) (2011)
- Professional Verification Guide to Adv Prof Verification P Wilcox Kluwer 2004 — Desconocido (2005)
