Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodology based on an evolutionary tool which exploits high level metrics is presented. To strengthen the correlation between high-level coverage and the gate-level fault coverage, in the case of peripheral cores, the FSMs embedded in the system are identified and then dynamically extracted via simulation, while transition coverage is used as a measure of how much the system is exercised. The results obtained by the evolutionary tool outperform those obtained by a skilled engineer on the same benchmar
Mutation testing is a method used to assess and improve the fault detection capability of a test sui...
In the current article a novel test generation algorithm is presented for deterministic finite state...
This thesis examines verification of system-on-a-chip (SoC) designs using a software applications te...
Traditional test generation methodologies for peripheral cores are performed by a skilled test engin...
Microprocessor testing is becoming a challenging task, due to the increasing complexity of modern ar...
Coverage directed test generation is a popular method in the area of functional verification of micr...
The topic of this thesis is automated test generation for control software represented in a specific...
It is well-known that faults affecting an electronic device may compromise its correct functionality...
Verification is increasingly becoming a bottleneck in the process of designing electronic circuits. ...
The incessant progress in manufacturing technology is posing new challenges to microprocessor design...
This chapter describes and analyzes a methodology for gathering together test-programs for microproc...
Abstract— The increasing complexity of electronic components based on microprocessors and their use ...
Failures in reactive embedded systems are often unacceptable. Effective test-ing of embedded systems...
The generation of binary test patterns for VLSI devices belongs to the class of NP complete problems...
Testing of embedded cores is very dicult in SOC (system-on-a-chip), since the core user may not know...
Mutation testing is a method used to assess and improve the fault detection capability of a test sui...
In the current article a novel test generation algorithm is presented for deterministic finite state...
This thesis examines verification of system-on-a-chip (SoC) designs using a software applications te...
Traditional test generation methodologies for peripheral cores are performed by a skilled test engin...
Microprocessor testing is becoming a challenging task, due to the increasing complexity of modern ar...
Coverage directed test generation is a popular method in the area of functional verification of micr...
The topic of this thesis is automated test generation for control software represented in a specific...
It is well-known that faults affecting an electronic device may compromise its correct functionality...
Verification is increasingly becoming a bottleneck in the process of designing electronic circuits. ...
The incessant progress in manufacturing technology is posing new challenges to microprocessor design...
This chapter describes and analyzes a methodology for gathering together test-programs for microproc...
Abstract— The increasing complexity of electronic components based on microprocessors and their use ...
Failures in reactive embedded systems are often unacceptable. Effective test-ing of embedded systems...
The generation of binary test patterns for VLSI devices belongs to the class of NP complete problems...
Testing of embedded cores is very dicult in SOC (system-on-a-chip), since the core user may not know...
Mutation testing is a method used to assess and improve the fault detection capability of a test sui...
In the current article a novel test generation algorithm is presented for deterministic finite state...
This thesis examines verification of system-on-a-chip (SoC) designs using a software applications te...