Sciweavers

174 search results - page 16 / 35
» Reclocking for high-level synthesis
Sort
View
AAAI
2007
13 years 9 months ago
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
Pascal Van Hentenryck, Laurent D. Michel
ARC
2008
Springer
99views Hardware» more  ARC 2008»
13 years 9 months ago
Accelerating Speculative Execution in High-Level Synthesis with Cancel Tokens
We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...
Hagen Gädke, Andreas Koch
IEICET
2008
63views more  IEICET 2008»
13 years 7 months ago
High-Level Synthesis of Software Function Calls
Masanari Nishimura, Nagisa Ishiura, Yoshiyuki Ishi...
VLSID
2005
IEEE
140views VLSI» more  VLSID 2005»
14 years 7 months ago
Variable Resizing for Area Improvement in Behavioral Synthesis
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...
R. Gopalakrishnan, Rajat Moona