Eda For Ic System Design, Verification, And Testing by Luciano Lavagno & Louis Scheffer