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 ? |