Logic Synthesis and Verification

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

Last Modified:2024/01/10



soha@eecs.tufts.edu
sasao@ieee.org