Buch, Englisch, 254 Seiten, Format (B × H): 165 mm x 241 mm, Gewicht: 1220 g
ISBN: 978-0-387-25947-5
Verlag: Springer Us
Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.
It relates constrained verification with the also-hot technology called assertion-based design.
Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.
Zielgruppe
Engineers and verification practioners, researchers
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Mikroprozessoren
- Geisteswissenschaften Design Produktdesign, Industriedesign
- Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
- Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
- Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
- Technische Wissenschaften Elektronik | Nachrichtentechnik Elektronik Bauelemente, Schaltkreise
Weitere Infos & Material
Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.
