222 search results - page 1 / 45 » Verifying an Arbiter Circuit |
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
ASYNC
2000
IEEE
13 years 9 months ago
2000
IEEE
This paper brings together a selection of creative circuit designs and ideas that Charles Molnar devised while working at Sun Microsystems Laboratories. The circuits offer fast im...
ICCD
2008
IEEE
14 years 1 months ago
2008
IEEE
— The need for efficient implementation of simple crossbar schedulers has increased in the recent years due to the advent of on-chip interconnection networks that require low la...
FPL
2011
Springer
12 years 4 months ago
2011
Springer
Abstract—Soft on-FGPA interconnection networks are gaining increasing importance since they simplify the integration of heterogeneous components and offer, at the same time, a mo...
DAC
2003
ACM
14 years 5 months ago
2003
ACM
Cyclic circuits that do not hold state or oscillate are often the most convenient representation for certain functions, such as arbiters, and can easily be produced inadvertently ...