About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …

Efficient design of embedded processors plays a critical role in embedded systems design.
Processor description languages and their associated specification, exploration and rapid …

A major challenge in assertion-based validation is how to activate the assertions to ensure
that they are valid. While existing test generation using model checking is promising, it …

Software-based self-test (SBST) has recently emerged as an effective methodology for the
manufacturing test of processors and other components in systems-on-chip (SoCs). By …

Assertions are widely used for functional validation as well as coverage analysis for both
software and hardware designs. Assertions enable runtime error detection as well as faster …

Computing systems utilize multicore processors with complex cache coherence protocols to
meet the increasing need for performance and energy improvement. It is a major challenge …

Embedded systems present a tremendous opportunity to customise designs by exploiting
the application behaviour. Shrinking time-to-market, coupled with short product lifetimes …

Functional verification of microprocessors is one of the most complex and expensive tasks in
the current system-on-chip design process. A significant bottleneck in the validation of such …

Functional validation is a major bottleneck in pipelined processor design due to the
combined effects of increasing design complexity and lack of efficient techniques for directed …

Functional verification of microprocessors is one of the most complex and expensive tasks in
the current system-on-chip design methodology. Simulation using functional test vectors is …