Formal Verification of Microprocessors: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs

Verification

by Miroslav Velev

Hardcover

details (USA).

ISBN: 978-1-4419-0955-8

ISBN-10: 1-4419-0955-9

Springer · 2015