Login / Signup

Functional Verification of the Equator MAP1000 Microprocessor.

Jian ShenJacob A. AbrahamDave BakerTony HursonMartin KinkadeGregorio GervasioChen-chau ChuGuanghui Hu
Published in: DAC (1999)
Keyphrases
  • functional verification
  • formal verification
  • maximum a posteriori
  • hardware software
  • image processing
  • general purpose
  • distributed systems
  • genetic programming