Sciweavers

5855 search results - page 29 / 1171
» Test generation and minimization with
Sort
View
IANDC
2008
81views more  IANDC 2008»
13 years 7 months ago
Complexity of DNF minimization and isomorphism testing for monotone formulas
Judy Goldsmith, Matthias Hagen, Martin Mundhenk
ETS
2006
IEEE
88views Hardware» more  ETS 2006»
13 years 7 months ago
Minimal March Tests for Dynamic Faults in Random Access Memories
Gurgen Harutunyan, Valery A. Vardanian, Yervant Zo...
GG
2004
Springer
14 years 1 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
DDECS
2007
IEEE
133views Hardware» more  DDECS 2007»
13 years 9 months ago
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...