Publication | Closed Access
Overview of hydra: a concurrent language for synchronous digital circuit design
34
Citations
9
References
2002
Year
Unknown Venue
Hardware ModelingBasic Risc ProcessorEngineeringHardware Verification LanguageComputer ArchitectureConcurrent SystemProcessor ArchitectureFormal VerificationHardware ArchitectureHardware SecurityComputer DesignConcurrency (Computer Science)Design LanguageParallel ComputingConcurrent LanguageConcurrent ProgrammingSynchronous DesignComputer EngineeringHydra SpecificationsComputer ScienceSoftware DesignProgram AnalysisFormal MethodsParallel ProgrammingConcurrent Data StructureSystem Software
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit specification. The design language is inherently concurrent, and it offers black box abstraction and general design patterns that simplify the design of circuits with regular structure. Hydra specifications are concise, allowing the complete design of a computer system as a digital circuit within a few pages. This paper discusses the motivations behind Hydra, and illustrates the system with a significant portion of the design of a basic RISC processor.
| Year | Citations | |
|---|---|---|
Page 1
Page 1