Logic synthesis and verification algorithms /

Bằng Hachtel, Gary D.
Được phát hành 1996

Abstraction Refinement for Large Scale Model Checking

Bằng Wang, Chao., Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
Được phát hành 2006