Formal Verification of Microprocessors
Subtitle: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs
Publisher: Springer
Published: Dec 01, 2015
Format: hardcover
Number of pages: 490
ISBN-13: 9781441909558
Notes: Source title: Formal Verification of Microprocessors: Automatic and Scalable Methods for Pipelined, Superscalar, and VLIW Designs