222 search results - page 3 / 45 » Verifying an Arbiter Circuit |
DATE
1999
IEEE
15 years 2 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
15 years 1 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
15 years 3 months ago
2006
IEEE
ATVA
2009
Springer
15 years 2 months ago
2009
Springer
ICCAD
1996
IEEE
15 years 1 months ago
1996
IEEE