Login / Signup

Using Event-B to construct instruction set architectures.

Stephen WrightKerstin Eder
Published in: Formal Aspects Comput. (2011)
Keyphrases
  • instruction set
  • floating point
  • application specific
  • computer architecture
  • embedded systems
  • memory subsystem
  • instruction set architecture
  • database
  • signal processing
  • level parallelism
  • ibm power processor