|
|
Sold Out
Book Categories |
| Abstraction by Symbolic Indexing Transformations | 1 | |
| Counter-Example Based Predicate Discovery in Predicate Abstraction | 19 | |
| Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis | 33 | |
| Simplifying Circuits for Formal Verification Using Parametric Representation | 52 | |
| Generalized Symbolic Trajectory Evaluation - Abstraction in Action | 70 | |
| Analysis of Symbolic SCC Hull Algorithms | 88 | |
| Sharp Disjunctive Decomposition for Language Emptiness Checking | 106 | |
| Relating Multi-step and Single-Step Microprocessor Correctness Statements | 123 | |
| Modeling and Verification of Out-of-Order Microprocessors in UCLID | 142 | |
| On Solving Presburger and Linear Arithmetic with SAT | 160 | |
| Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods | 171 | |
| QUBOS: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers | 187 | |
| Exploiting Transition Locality in the Disk Based Mur[actual symbol not reproducible] Verifier | 202 | |
| Traversal Techniques for Concurrent Systems | 220 | |
| A Fixpoint Based Encoding for Bounded Model Checking | 238 | |
| Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths | 256 | |
| Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem | 274 | |
| A Specification and Verification Framework of Developing Weak Shared Memory Consistency Protocols | 292 | |
| Model Checking the Design of an Unrestricted, Struck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV | 310 | |
| Functional Design Using Behavioural and Structural Components | 324 | |
| Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries | 342 | |
| Input/Output Compatibility of Reactive Systems | 360 | |
| Smart Play-out of Behavioral Requirements | 378 | |
| Author Index | 399 |
| Price | Condition | Delivery | Seller | Action |
| $107.90 | Digital |
| WonderClub |
Cara Rodriguez
reviewed Formal Methods in Computer-Aided Design on September 11, 2012
Formal Methods in Computer-Aided Design
I am not sure who the audience for this book is. The beginning chapters are obviously geared toward beginners, but the later chapters are quite complex - a remarkable range for a book under 400 pages. The book does a very poor job clearly explaining advanced topics.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Formal Methods in Computer-Aided Design
X
This Item is in Your Inventory
Formal Methods in Computer-Aided Design
X
You must be logged in to review the productsX
X
X
Add Formal Methods in Computer-Aided Design, This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and sel, Formal Methods in Computer-Aided Design to the inventory that you are selling on WonderClubX
X
Add Formal Methods in Computer-Aided Design, This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and sel, Formal Methods in Computer-Aided Design to your collection on WonderClub |