Login / Signup

Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor.

Victor MelamedHarry StuimerDavid WilkinsLawrence ChangKevin NormoyleSutikshan Bhutani
Published in: FORTE (2002)
Keyphrases
  • high speed
  • design methodology
  • instruction set
  • model checking
  • circuit design
  • functional verification
  • information systems
  • implementation details
  • special purpose hardware
  • neural network
  • object oriented