Integrating Formal Verification And Simulation In Digital Logic

A Combined Formal Methods And Simulation Framework

by Lun Li
language: english
Publisher: MORGAN & CLAYPOOL PUBLISHERS, February of 2010 ‧
OUT OF STOCK OR NOT AVAILABLE
Sell ​​your book

Integrating Formal Verification And Simulation In Digital Logic

A Combined Formal Methods And Simulation Framework

by Lun Li

Property Description
ISBN: 9781608451784
Publisher: MORGAN & CLAYPOOL PUBLISHERS
Release Date: February of 2010
Language: English
Cover: Softcover
Pages: 93
Format: Book
Categories: Books in English > Engineering > Electricity and Energy
EAN: 9781608451784