S. Devadas

Sequential Logic Synthesis

Sequential Logic Testing and Verification

Computer-Aided Design Techniques for Low Power Sequential Logic Circuits