Logic Synthesis and Verification Algorithms
by:
Gary D. Hachtel
·
Fabio Somenzi
Hardcover
details (
USA
).
ISBN: 978-0-7923-9746-5
ISBN-10: 0-7923-9746-0
Springer
· 1996
See also:
2006
Paperback
Logic Synthesis and Verification Algorithms