223 search results - page 8 / 45 » New methods and coverage metrics for functional verification |
WSC
2004
13 years 9 months ago
2004
Confidence intervals for the median of estimators or other quantiles were proposed as a substitute for usual confidence intervals in terminating and steady-state simulation. This ...
ENTCS
2010
13 years 2 months ago
2010
Porting an application written for personal computer to embedded devices requires conversion of floating-point numbers and operations into fixed-point ones. Testing the conversion...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Maximizing only the relevance between queries and documents will not satisfy users if they want the top search results to present a wide coverage of topics by a few representative...
LREC
2008
13 years 9 months ago
2008
We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...
ICCAD
1999
IEEE
13 years 12 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...