Sciweavers

11172 search results - page 673 / 2235
» Testing Physical Systems
Sort
View
ICCD
1992
IEEE
83views Hardware» more  ICCD 1992»
15 years 11 months ago
Logical Verification of the NVAX CPU Chip Design
ct Digital's NVAX high-performance microprocessor has a complex logical design. A rigorous simulation-based verification effort was undertaken to ensure that there were no log...
Walker Anderson
WSC
2004
15 years 8 months ago
Better Selection of the Best
We present a new method of selecting the best of several competing system designs on the basis of expected steadystate performance. The method uses a new form of timeseries bootst...
Huaiyu Harry Ma, Thomas R. Willemain
APIN
1998
98views more  APIN 1998»
15 years 7 months ago
A Fuzzy Diagnostic Model and Its Application in Automotive Engineering Diagnosis
This paper describes a fuzzy diagnostic model that contains a fast fuzzy rule generation algorithm and a priority rule based inference engine. The fuzzy diagnostic model has been i...
Yi Lu, Tie Qi Chen, Brennan Hamilton
INTEGRATION
1998
96views more  INTEGRATION 1998»
15 years 7 months ago
BIST for systems-on-a-chip
An increasing part of microelectronic systems is implemented on the basis of predesigned and preverified modules, so-called cores, which are reused in many instances. Core-provide...
Hans-Joachim Wunderlich
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 12 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen