Hardware Design Verification Simulation And Formal Methodbased Approaches
Publisher: Prentice Hall PTR
Published: 2008
ISBN-13: 9780137010929