Limit search to items available for checkout
Title Formal verification : an essential toolkit for modern VLSI design / Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar.
Imprint Waltham, MA : Elsevier Science, [2015]


 Internet  Electronic Book    AVAILABLE
Description 1 online resource (1 volume) : illustrations
Bibliog. Includes bibliographical references and index.
Note Available only to authorized UTEP users.
Online resource; title from title page (Safari, viewed August 18, 2015).
Subject Electronic circuits -- Testing.
Integrated circuits -- Very large scale integration -- Design and construction.
Verilog (Computer hardware description language)
Other Author Schubert, E. Thomas, 1959- author.
Kumar, M. V. Achutha Kiran, author.
Other Title Essential toolkit for modern VLSI design
Essential toolkit for modern very-large scale integration design