Hachtel, G D Logic Synthesis & Verification Algorithms by G D Hachtel - Springer 2006 Engineering ISBN: 8-1812-8483-6 Subjects--Topical Terms: Computer & IT