The roots of the project which culminates with the writing of this book can be traced to the work...
Logic Synthesis and Verification Algorithms is a textbookdesigned for courses on VLSI Logic Synth...
The roots of the project which culminates with the writing of this book can be traced to the work...
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...
Logic Synthesis and Verification Algorithms is a textbookdesigned for courses on VLSI Logic Synth...
This book blends mathematical foundations and algorithmic developments with circuit design issues...
Unser bisheriger Preis:ORGPRICE: 86,00 €
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction t...