179 search results - page 9 / 36 » Automatic High Level Assertion Generation and Synthesis for ... |
132
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
123
click to vote
CASES
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we introduce Optimus: an optimizing synthesis compiler for streaming applications. Optimus compiles programs written in a high level streaming language to either so...
141
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
With growing system complexities, system-level communication design is becoming increasingly important and advanced, network-oriented communication architectures become necessary....
147
Voted
ICCAD
2002
IEEE
16 years 1 months ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
144
click to vote
ISSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In order to cope with the ever increasing complexity of todays application specific integrated circuits, a building block based design methodology is established. The system is co...