A Functional Specification Language for Instruction Set Architectures.
Todd A. CookEdwin A. HarcourtPublished in: ICCL (1994)
Keyphrases
- specification language
- instruction set
- floating point
- formal specification
- description language
- programming language
- application specific
- computer architecture
- machine learning
- case study
- embedded systems
- database
- general purpose
- parallel algorithm
- ibm power processor
- instruction set architecture
- level parallelism
- memory access
- databases