1987 · 35 citations · 5 references
EngineeringComputer EngineeringComputer ScienceCompilersComputer ArchitectureHardware Description LanguagesCode GenerationCompiler ConstructionControl-flow AnalysisInstruction Set ArchitectureMicroarchitecture DesignProcessor MicroarchitectureCompiler SupportCompiler-based High-level SynthesisComponent SpecificationsMachine Code GenerationMicroarchitectural ModelingRegister Transfer Level ImplementationRetargetable Code GenerationSoftware-to-hardware Compilation
This paper describes a retargetable compiler, which is able to compile programs into the machine code of a specified hardware (target). The target is described at register-transfer structure level by module specifications and netlists. The program can be defined at several levels of abstraction, spanning the range from algorithmic description (e.g. PASCAL) down to RT-level behavioural description. If the program is the complete target's behavioural specification the compiler can be used to verify the structural against this behavioural description.
5