Home
Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1
Design and Verification of Microprocessor Systems for High-Assurance Applications / Edition 1
Current price: $169.99
Loading Inventory...
Size: OS
This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.