Formal Verification of Floating-Point Hardware Design: A Mathematical Approach by David M. Russinoff English | PDF,EPUB | 2019 | 388 Pages | ISBN : 3319955128 | 22.9 MB
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has been developed and applied to the formal verification of commercial floating-point units over the course of more than two decades, during which the author was employed by several major microprocessor design companies.
Digital Circuit Analysis and Design with Simulink Modeling and Introduction to CPLDs and FPGAs By Steven T. Karris 2007 | 541 Pages | ISBN: 1934404055 | PDF | 15 MB