Publication | Closed Access
Sehwa: a software package for synthesis of pipelines from behavioral specifications
391
Citations
13
References
1988
Year
EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSystem-level DesignSoftware AnalysisHardware SystemsFormal VerificationSystems EngineeringProgram TransformationCompilersParallel ComputingInstruction-level ParallelismFormal SpecificationData FlowData-level ParallelismComputer EngineeringData PathsComputer ScienceSoftware DesignFranz LispLogic SynthesisSpecification LanguageProgram AnalysisSoftware TestingBehavioral SpecificationsSystem SpecificationFormal MethodsData-flow GraphProgram SynthesisParallel ProgrammingReal-time SystemsAsynchronous SystemsSystem SoftwareSoftware Package
A set of techniques for the synthesis of pipelined data paths is described, and Sehwa, a program that performs such synthesis, is presented. The task includes the generation of data paths from a data-flow graph along with a clocking scheme that overlaps execution of multiple tasks. Some design examples are given. Sehwa can find the minimum-cost design, the highest performance design, and other designs between these two in the design space. Sehwa is written in Franz Lisp and executes within minutes, for problems of practical size, on a VAX 11/750.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1