Specification and Simulation of Microprocessor Operations and Parallel Instructions.

Loe M. G. Feijs Paul Gorissen Joachim Trescher

Published in: DSD (2002)

Keyphrases

floating point arithmetic
floating point
simulation model
instruction set architecture
high speed
parallel processing
massively parallel
queuing systems
asynchronous cellular automata
high level
design methodology
formal verification
parallel computers
ibm sp
packet switched