145 search results - page 9 / 29 » A Higher-Level Language for Hardware Synthesis |
117
click to vote
VLSID
2005
IEEE
16 years 2 days ago
2005
IEEE
High level synthesis tools transform an algorithmic description to a register transfer language (RTL) description of the hardware. The algorithm behavior is typically described in...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
114
click to vote
FCCM
1995
IEEE
15 years 3 months ago
1995
IEEE
FPGA-based synthesis tools require information about behaviour and architectural to make effective use of the limited number of cells typically available. A hardware description l...
123
click to vote
ACSD
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper we present an algorithm to synthesize a finite unlabeled place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by a term ove...
100
click to vote
FPL
2009
Springer
15 years 4 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...