10% OFF

Reasoning In Boolean Networks eBook

Logic Synthesis And Verification Using Testing Techniques

by Dominik Stoffel e Wolfgang Kunz
language: english
Publisher: SPRINGER US, March of 2013 ‧
171,59€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Covers research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. This book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.

Reasoning In Boolean Networks

Logic Synthesis And Verification Using Testing Techniques

by Dominik Stoffel e Wolfgang Kunz

Property Description
ISBN: 9781475725728
Publisher: SPRINGER US
Release Date: March of 2013
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Frontiers In Electronic Testing
Categories: eBooks in English > Computing > Image Editing
EAN: 9781475725728

BOOKS FROM THE SAME COLLECTION