Rongo Univesity Library

Your cart is empty.

Verification techniques for system-level design

by Fujita, Masahiro,
Additional authors: Ghosh, Indradeep, -- 1970- | Prasad, Mukul. | ebrary, Inc.
Series: The Morgan Kaufmann series in systems on silicon Published by : Morgan Kaufmann Publishers, (Amsterdam ; | Boston :) Physical details: viii, 240 p. : ill.
Subject(s): Systems on a chip -- Testing. | Integrated circuits -- Verification. | Formal methods (Computer science) | Electronic books.
Year: 2008
Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
No physical items for this record

Includes bibliographical references and index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2013. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.

Powered by Koha