Login / Signup
A comprehensive high-level synthesis system for control-flow intensive behaviors.
Weidong Wang
Tat Kee Tan
Jiong Luo
Yunsi Fei
Li Shang
Keith S. Vallerio
Lin Zhong
Anand Raghunathan
Niraj K. Jha
Published in:
ACM Great Lakes Symposium on VLSI (2003)
Keyphrases
</>
control flow
high level synthesis
data flow
software testing
process model
parallel architecture
workflow management systems
modeling language
real world
information systems
business process models
transition systems
design space exploration
formal semantics
database
open source