A Formal Approach to Hardware Design discusses designing computations to be realised by application specific hardware. It introduces a formal design approach ba

The Practical, Start-to-Finish Guide to Modern Digital Design Verification As digital logic designs grow larger and more complex, functional verification has be

This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification

Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Desi