IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Study on the Assertion-Based Verification of Digital IC

The Second International Conference on Information and Computing Science (ICIC)

Author(s): Yangyang Li ; Wuchen Wu ; Ligang Hou ; Hao Cheng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 May 2009
Conference Location: Manchester, England, UK, UK
Conference Date: 21 May 2009
Volume: 2
Page(s): 25 - 28
ISBN (Paper): 978-0-7695-3634-7
DOI: 10.1109/ICIC.2009.114
Regular:

Verification plays more and more important role in complex VLSI design. It has two main challenges: one is to insure that the input stimulus can control the function spots inside the design; the... View More

Advertisement