TY  - BOOK
AU  - Luca Gaetano Amaru
TI  - New Data Structures and Algorithms for Logic Synthesis and Verification
SN  - 978-3-319-43174-1
PB  - Springer
KW  - Engineering; Circuits and Systems; Processor Architectures; Logic Design
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-43174-1
ER  -