Home / ebook / ebook2006 / Prentice.Hall.PTR.Hardware.Design.Verification.Simulation.and.Formal.Method.Based.Approaches.Mar.2005