My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author Kundu, Sudipta.

Title High-level verification [electronic resource] : methods and tools for verification of system-level designs / Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta.

Published New York : Springer, c2011.


Location Call No. Status
Physical description 1 online resource (xiii, 167 p.)
Bibliography Includes bibliographical references and index.
Notes Description based on print version record.
Other author Lerner, Sorin.
Gupta, Rajesh Kumar, 1961-
Subject Integrated circuits -- Verification.
Electronic books.
ISBN 9781441993595 (electronic bk.)
1441993592 (electronic bk.)