8766 search results - page 512 / 1754 » Functional logic programming |
138
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
107
Voted
DAC
2004
ACM
16 years 5 months ago
2004
ACM
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
139
click to vote
MSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...
167
Voted
SASN
2005
ACM
15 years 10 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...
258
click to vote
FMCAD
1998
Springer
15 years 8 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...