2014 - Sva the Power of Assertions in Systemverilog (Hardcover) ISBN-13: 9783319071381 ISBN-10: 3319071386 Genres: Computers & Technology, Engineering & Transportation ? 2010 - The Power of Assertions in Systemverilog (Hardcover) ISBN-13: 9781441965998 ISBN-10: 1441965998 Genres: Reference, Engineering & Transportation ? 2005 - Verification Methodology Manual for Systemverilog (Hardcover) ISBN-13: 9780387255385 ISBN-10: 0387255389 Genre: Computers & Technology ? 1998 - Hierarchical Annotated Action Diagrams an Interfaceoriented Specification and Verification Method (Hardcover) ISBN-13: 9780792383017 ISBN-10: 079238301X Genres: Computers & Technology, Substores ? |