A Layered Real-Time Specification of a RISC Processor.

Peter Kearney Mark Utting

Published in: FTRTFT (1994)

Keyphrases

real time
high speed
instruction set
low cost
low power consumption
application specific
cell processor
data sets
computation intensive
control system
formal methods
digital signal processor
formal specification
single chip