1151 search results - page 137 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
148
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we present a methodology for customized communication architecture synthesis that matches the communication requirements of the target application. This is an impor...
152
click to vote
ERSA
2010
15 years 2 months ago
2010
SRAM-based FPGA devices are an attractive option for data processing on space-based platforms, due to high computational capabilities and a lower power envelope than traditional pr...
117
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
137
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Collaborative development, incremental design and revision management require the ability to compare different versions of software artifacts. There are well-established approache...
143
click to vote
DSD
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--The implementation of an efficient result forwarding unit for asynchronous processors faces the problem of the inherent lack of synchronisation between result producer an...