2005 · 77 citations · 12 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureDesign AutomationHardware Description LanguagesHardware Modeling For Digital SystemsHardware SpecificationHigh-level SynthesisLogic SynthesisMicroarchitecture DesignHardware GenerationHardware Synthesis
It is common wisdom that synthesizing hardware from higher-level descriptions than Verilog incurs a performance penalty. The case study here shows that this need not be the case. If the higher-level language has suitable semantics, it is possible to synthesize hardware that is competitive with hand-written Verilog RTL. Differences in the hardware quality are dominated by architecture differences and, therefore, it is more important to explore multiple hardware architectures. This exploration is not practical without quality synthesis from higher-level languages.
12
Parallel program design: a foundation
Chris Jesshope · Microprocessors and Microsystems · 1989 · 845 citations
Decentralization of process nets with centralized control
R. J. R. Back, Reino Kurki-Suonio · 1983 · 279 citations
The Murphi Verification System
David L. Dill · Computer Aided Verification · 1996 · 192 citations