Memristive crossbars have been shown to be excellent candidates for building an ultra-
dense memory system because a per-cell access-transistor may no longer be necessary …

Test generation for hard-to-reach states is important in functional verification. In this paper,
we present a path constraint solving-based test generation method (PACOST) which …

In order to improve effectiveness and efficiency of post-silicon validation, we present a fault-
symbol tracking method and a coverage metric that account for the limited observability in …

This paper presents the item-missing error model. It stems from the analysis of real bugs that
are collected in two market-oriented projects:(1) the AMBA interface of a general-purpose …

As the design complexity increases dramatically, results of functional simulation are usually
checked through only a part of signals during design verification. It is important, therefore, to …

In both pre-silicon and post-silicon validation, the detection of design errors requires both
stimulus capable of activating the errors and checkers capable of detecting the behavior as …

Traditional coverage metrics in verification focus on controllability without taking
observability into account, which may result in an artificially high coverage and a false sense …

This thesis addresses hardware testing issues as well as simulation-based hardware
verification issues applied at register-transfer and behavioral levels of design abstraction …

This paper presents a new error model for itemmissing bugs, which are paid little attention
by traditional error models. Such bugs do exist in practice, and are substantiated via our …

There has been increasing effort in the years for defining test strategies at the behavioral
level. Due to the lack of suitable coverage metrics and tools to assess the quality of a …