10% OFF

Digital System Verification

A Combined Formal Methods And Simulation Framework

by Mitchel Thornton e Lun Li
language: english
Publisher: Springer International Publishing AG, February of 2010 ‧
33,79€
10% OFF CARD
free shipping
Sell ​​your book
This book focuses on an Integrated Design Validation (IDV) system that provides a framework for design validation and takes advantage of current technology in the areas of simulation and formal verification resulting in a practical validation engine with reasonable runtime.

Digital System Verification

A Combined Formal Methods And Simulation Framework

by Mitchel Thornton e Lun Li

Property Description
ISBN: 9783031798146
Publisher: Springer International Publishing AG
Release Date: February of 2010
Language: English
Dimensions: 191 x 235 x 20 mm
Cover: Softcover
Pages: 79
Format: Book
Collection: Synthesis Lectures On Digital Circuits & Systems
Categories: Books in English > Engineering > General Engineering
EAN: 9783031798146

BOOKS FROM THE SAME COLLECTION