Formal verification of floating-point ha
β David Russinoff
π Library
π
2022
π English
β¦ LIBER β¦
π
A Formal Approach to Hardware Design
β Scribed by JΓΈrgen Staunstrup
- Publisher
- Springer
- Year
- 1994
- Tongue
- English
- Leaves
- 241
- Series
- The Springer International Series in Engineering and Computer Science
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach based on a high-level design language called Synchronized Transitions. The models created using Synchronized Transitions enable the designer to perform different kinds of analysis and verification based on descriptions in a single language. It is, for example, possible to use exactly the same design description both for mechanically supported verification and synthesis. Synchronized Transitions is supported by a collection of public domain CAD tools. These tools can be used with the book in presenting a course on the subject. A Formal Approach to Hardware Design illustrates the benefits to be gained from adopting such techniques, but it does so without assuming prior knowledge of formal design methods. The book is thus not only an excellent reference, it is also suitable for use by students and practitioners.
π SIMILAR VOLUMES
Formal Verification of Floating-Point Ha
β David M. Russinoff
π Library
π
2019
π Springer International Publishing
π English
<p><p>This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. <i>Formal Verification of Floating-Point Hardware Design</i> advances a verification methodology based on a unified theory of register-transfer logic and
Hardware Design Verification: Simulation
β William K. Lam
π Library
π
2008
π Prentice Hall
π English
As digital logic designs grow larger and more complex, functional verification has become the number one bottleneck in the design process. Reducing verification time is crucial to project success, yet many practicing engineers have had little formal training in verification, and little exposure to t
Formal Verification in Hardware Design:
β Kern C., Greenstreet M.R.
π Library
π
1997
π English
Practical Formal Methods for Hardware De
β Carlos Delgado Kloos, Werner Damm, Juan Goicolea (auth.), Carlos Delgado Kloos,
π Library
π
1997
π Springer-Verlag Berlin Heidelberg
π English
<p>Formal methods for hardware design still find limited use in industry. Yet current practice has to change to cope with decreasing design times and increasing quality requirements. This research report presents results from the Esprit project FORMAT (formal methods in hardware verification) which
Hardware Design: Formaler Entwurf digita
β Prof. Dr. JΓΆrg Keller, Prof. Dr. Wolfgang J. Paul (auth.)
π Library
π
1997
π Vieweg+Teubner Verlag
π German
Das vorliegende Lehrbuch ist aus Vorlesungen des zweiten Autors entstanden. Es besch?ftigt sich in mathematisch pr?ziser Weise mit einem ganz und gar praktischen Thema, n?mlich dem Entwurf digitaler Hardware. Kapitel 1 enth?lt eine Diskussion mathematischer Grundbegriffe. In den Kapiteln 2 bis 4 wer