Analysing Superscalar Processor Architectures with Coloured Petri Nets.
Frank P. BurnsAlbert KoelmansAlexandre YakovlevPublished in: Int. J. Softw. Tools Technol. Transf. (1998)
Keyphrases
- coloured petri nets
- instruction set
- computer architecture
- parallel architectures
- highly parallel
- multithreading
- multi core processors
- formal verification
- memory hierarchy
- floating point
- parallel computers
- embedded systems
- single instruction multiple data
- high speed
- single chip
- information systems
- single processor
- application specific
- neural network
- parallel processing
- low cost
- multicore processors
- functional units
- level parallelism
- computer systems
- functional verification
- website
- parallel computing
- memory management
- distributed memory