900 search results - page 92 / 180 » A Tool-Supported Approach to Testing UML Design Models |
118
click to vote
PODS
2003
ACM
16 years 3 months ago
2003
ACM
Normalization as a way of producing good database designs is a well-understood topic. However, the same problem of distinguishing well-designed databases from poorly designed ones...
121
click to vote
MTDT
2000
IEEE
15 years 8 months ago
2000
IEEE
A new approach to diagnostic testing of embedded memories is presented which enables the design of tests that provide complete detection and distinguishing of all faults in a give...
140
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Functional verification is widely acknowledged as a major bottleneck in microprocessor design. While early work on specification driven functional test program generation has prop...
134
click to vote
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
137
click to vote
ET
2000
15 years 3 months ago
2000
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,...