758 search results - page 44 / 152 » Pattern-Constrained Test Case Generation |
112
click to vote
ITC
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper discusses practical issues involved in applying logic built-in self-test (BIST) to four large industrial designs. These multi-clock designs, ranging in size from 200K t...
107
click to vote
ISOLA
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
127
Voted
CN
1999
15 years 2 months ago
1999
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
116
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
98
Voted
PTS
2004
15 years 3 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...