Publication | Open Access
Generation of hardware machine models from instruction set descriptions
29
Citations
2
References
2002
Year
Unknown Venue
Hardware ModelingEngineeringHardware Verification LanguageComputer ArchitectureSystem-level DesignEmbedded SystemsHardware SystemsHardware Machine ModelsHardware ArchitectureHardware Verification LanguagesHardware DesignHardware Description LanguageBinary RepresentationMachine DescriptionCompilersProgramming LanguagesComputer EngineeringComputer ScienceSoftware DesignProgram AnalysisModular Machine DescriptionFormal Methods
The authors describe how a modular machine description, which specifies the functionality and the binary representation of an instruction set, can be transformed into a hardware model. This model is built from new generic hardware entities (registers, memories, arithmetic/logic operators, selectors and connections) and may eventually serve as an input to high-level hardware synthesis tools. The transformation steps on the way from the machine description to the hardware model are explained by giving an example.< <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