Mechanized reasoning and hardware design

Charles Antony Richard Hoare

Covers chip designs, mathematical proof versus simulation, automatic verification of sequential circuit designs, and microprocessor specification and verification

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB