Logic Synthesis for Low Power VLSI Designs

by Iman, Sasan, Pedram, Massoud
Published 1998

The e Hardware Verification Language

by Iman, Sasan, Joshi, Sunita
Published 2004