Publication | Closed Access
Global hardware synthesis from behavioral dataflow descriptions
20
Citations
9
References
1990
Year
Unknown Venue
Block-level ParallelismHardware ModelingEngineeringGeneral Behavioral DescriptionsCompiler TechnologyComputer ArchitectureSoftware EngineeringSystem SynthesisSoftware AnalysisFormal VerificationHardware Description LanguageParallel ComputingAutomatic ProgrammingCode GenerationComputer EngineeringComputer ScienceGlobal Hardware SynthesisSoftware DesignProgram Path ProbabilitiesHardware EmulationProgram AnalysisFormal MethodsProgram SynthesisParallel ProgrammingSystem Software
This paper reports on a new bottom-up synthesis technique for general behavioral descriptions. Our technique extends traditional straight-line code synthesis by allowing hierarchical, block-structured dataflow graphs with block-level parallelism. Program path probabilities are taken into account; and both high-level synthesis and design-space exploration are addressed.
| Year | Citations | |
|---|---|---|
Page 1
Page 1