Image from Google Jackets

Formal verification : an essential toolkit for modern VLSI design/ Erik Seligman (Author), E. Thomas Schubert (Author), M. V. Achutha Kiran Kumar (Author)

Contributor(s): Material type: TextTextPublication details: Cambridge, MA: Morgan Kaufmann, 2023.Description: 424 pages : illustrations, 25 CMISBN:
  • 9780323956123
Subject(s): LOC classification:
  • TK7874.75 SEL 2023
Summary: Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Barcode
Books in General collection Books in General collection Mzuzu University Library and Learning Resources Centre TK 7874.75 SEL 2023 (Browse shelf(Opens below)) 033804 Available mZUlm-033804

Formal Verification: An Essential Toolkit for Modern VLSI Design, Second Edition presents practical approaches for design and validation, with hands-on advice to help working engineers integrate these

There are no comments on this title.

to post a comment.

© 2022 MZUZU UNIVERSITY