Logic Synthesis and Verification

Research and development of logic synthesis and verification have matured considerably over the past two decades. Logic Synthesis and Verification provides a state-of-the-art view of logic synthesis and verification.