Tags
Language
Tags
<<
May 2024
Su Mo Tu We Th Fr Sa
28 29 30 1 2 3 4
5 6 7 8 9 10 11
12 13 14 15 16 17 18
19 20 21 22 23 24 25
26 27 28 29 30 31 1
  1. Home
  2. eBooks & eLearning
  3. Formal Verification

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach (Repost)

Posted By: AvaxGenius
Date: 21 Feb 2022 12:17:08
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach (Repost)

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.
Details

Natural Language Processing for Electronic Design Automation

Posted By: AvaxGenius
Date: 1 Sep 2020 01:11:55
Natural Language Processing for Electronic Design Automation

Natural Language Processing for Electronic Design Automation by Mathias Soeken
English | PDF,EPUB | 2020 | 115 Pages | ISBN : 3030522717 | 18 MB

This book describes approaches for integrating more automation to the early stages of EDA design flows. Readers will learn how natural language processing techniques can be utilized during early design stages, in order to automate the requirements engineering process and the translation of natural language specifications into formal descriptions.
Details

Design and Verification of Microprocessor Systems for High-Assurance Applications (Repost)

Posted By: AvaxGenius
Date: 12 Aug 2020 15:57:58
Design and Verification of Microprocessor Systems for High-Assurance Applications (Repost)

Design and Verification of Microprocessor Systems for High-Assurance Applications by David S. Hardin
English | PDF | 2010 | 440 Pages | ISBN : 1441915389 | 5 MB

This book examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels – from arithmetic circuits to microcode to instruction sets to operating systems to applications. We focus on recent hardware, software, and system designs that have actually been built and deployed, and feature systems that have been certified at high Evaluation Assurance Levels, namely the Rockwell Collins AAMP7G microprocessor (EAL7) and the Green Hills INTEGRITY-178B separation kernel (EAL6+). The contributing authors to this book have endeavored to bring forth truly new material on significant, modern design and verification efforts; many of the results described herein were obtained only within the past year.
Details
UPWARDS