647 search results - page 66 / 130 » Generation of BDDs from hardware algorithm descriptions |
DAC
2007
ACM
14 years 9 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
JPEG2000 is the latest international standard for image compression. It combines state of the art image compression performance with a rich feature set. JPEG2000 codestreams are h...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Logic simulation is a critical component of the design tool flow in modern hardware development efforts. It is used widely ? from high-level descriptions down to gate-level ones ?...
DASFAA
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract. Until recently algorithms continuously gained free performance improvements due to ever increasing processor speeds. Unfortunately, this development has reached its limit...
FPL
2009
Springer
14 years 18 days ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...