Author: Sasan Iman

I am glad to see this new book on the e language and on verification. I am especially glad to see a description of the e Reuse Methodology (e RM). The main goal of verification is, after all, finding …

Logic Synthesis for Low Power VLSI Designs presents a systematic and comprehensive treatment of power modeling and optimization at the logic level. More precisely, this book provides a detailed …