Ant colony algorithms analogize the social behaviour of ant colonies, they are a class of
meta-heuristics which are inspired from the behavior of real ants. It was applied successfully …

Testing a processor in native mode by executing instructions from cache has been shown to
be very effective in discovering defective chips. In previous work, we showed an efficient …

This paper proposes a behavioral-level test pattern generation algorithm for behavioral
VHDL descriptions. The proposed approach is based on the comparison between the …

In this paper, we present an algorithm for generating test patterns automatically from
functional register-transfer level (RTL) circuits that target detection of stuck-at faults in the …

The article examines the market and technology trends affecting the testing of integrated
circuits, with emphasis on the role of predesigned components-cores-and built in self test …

Executing instructions from the cache has been shown to improve the defect coverage of
real chips. However, although the faults detected by such tests can be determined, there has …

In this paper, we present a satisfiability (SAT)-based framework for automatically generating
test programs that target gate-level stuck-at faults in microprocessors. The microarchitectural …

The paper presents a novel hierarchical approach to test pattern generation for sequential
circuits based on an input model of mixed-level decision diagrams. A method that handles …

Recently, tools for the analysis and visualization of code coverage have become widely
available. At first glance, their value in assessing and improving the quality of automated test …

Coproducts of monads on \Set have arisen in both the study of computational effects and
universal algebra. We describe coproducts of consistent monads on \Set by an initial …