222 search results - page 3 / 45 » Verifying an Arbiter Circuit |
DATE
1999
IEEE
13 years 10 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
EMSOFT
2004
Springer
13 years 9 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
ATVA
2009
Springer
13 years 10 months ago
2009
Springer
ICCAD
1996
IEEE
13 years 10 months ago
1996
IEEE