Sciweavers

270 search results - page 23 / 54
» Automated test generation for industrial Erlang applications
Sort
View
CODES
2008
IEEE
15 years 1 months ago
Specification-based compaction of directed tests for functional validation of pipelined processors
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
Heon-Mo Koo, Prabhat Mishra
HICSS
2005
IEEE
82views Biometrics» more  HICSS 2005»
15 years 5 months ago
To the Question "Does IT Matter?" Hollywood Answers "Yes"
Nicholas Carr’s question “Does IT Matter?”(to the maintenance of competitive advantage) has been applied to many industries but the one that depends on IT almost exclusively...
David A. Cook, Wenli Wang
ISQED
2005
IEEE
92views Hardware» more  ISQED 2005»
15 years 5 months ago
Evaluation of Capacitor Ratios in Automated Accurate Common-Centroid Capacitor Arrays
In this paper, design and measurement results of a test chip that intends to evaluate differences between layout techniques for rectangular unit-capacitor arrays are introduced. P...
DiaaEldin Khalil, Mohamed Dessouky, Vincent Bourgu...
TCAD
2002
73views more  TCAD 2002»
14 years 11 months ago
System-on-a-chip test scheduling with precedence relationships, preemption, and power constraints
Test scheduling is an important problem in system-on-a-chip (SOC) test automation. Efficient test schedules minimize the overall system test application time, avoid test resource c...
Vikram Iyengar, Krishnendu Chakrabarty
APSEC
2006
IEEE
15 years 5 months ago
Interaction Testing in Model-Based Development: Effect on Model-Coverage
Model-based software development is gaining interest in domains such as avionics, space, and automotives. The model serves as the central artifact for the development efforts (suc...
Renée C. Bryce, Ajitha Rajan, Mats Per Erik...