3456 search results - page 46 / 692 » Algorithms for Interface Synthesis |
FPL
2010
Springer
13 years 5 months ago
2010
Springer
This paper presents a novel IP core reuse strategy which reduces design time from days to hours for communication circuits such as digital radio receivers. This design productivity...
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
TACAS
2007
Springer
14 years 1 months ago
2007
Springer
ASE
2005
13 years 7 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
DAC
2012
ACM
11 years 10 months ago
2012
ACM
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...