31 search results - page 3 / 7 » An observability-based code coverage metric for functional s... |
ICC
2007
IEEE
14 years 17 days ago
2007
IEEE
— In bit interleaved coded modulation (BICM), the probability density function (PDF) of the reliability metrics (Lvalues) fully defines the BICM transmission and may be used to ...
CODES
2008
IEEE
13 years 8 months ago
2008
IEEE
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...
ICRA
2010
IEEE
13 years 4 months ago
2010
IEEE
— In this note, we present initial results towards developing a distributed algorithm for repairing topological holes in the sensor cover of a mobile robot team. Central to our a...
CODES
2005
IEEE
13 years 12 months ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...
DAC
2010
ACM
13 years 4 months ago
2010
ACM
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...