Verification and Synthesis of Digital Circuits: High-level Synthesis and Equivalence Checking

Chittaranjan

von: Chandan Karfa · Dipankar Sarkar · Chittaranjan Mandal

Taschenbuch

ISBN-13: 978-3-8383-9813-6

ISBN-10: 3-8383-9813-0

LAP LAMBERT Academic Publishing · 2010