Login / Signup

Design and Application of Instruction Set Simulator on Multi-Core Verification.

Xiangdong HuYong GuoYing ZhuXin GuoPeng Wang
Published in: J. Comput. Sci. Technol. (2010)
Keyphrases
  • instruction set
  • computer architecture
  • artificial intelligence
  • application specific
  • real time
  • general purpose
  • model checking
  • embedded systems
  • formal methods
  • low cost
  • floating point