Download Higher Order Logic and Hardware Verification Online Book PDF
ByT. F. Melham
Total Download
13
“The most technologically efficient machine that man has ever invented is the book.” –Northrop Frye
Synopsis
This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof.
No comments:
Post a Comment