Logic Synthesis and Verification

Editors: S. Hassoun and T. Sasao
Consulting Editor: R. Brayton

Last Modified:2010/12/01



soha@eecs.tufts.edu
sasao@cse.kyutech.ac.jp