Login / Signup

Verification methodology of compatible microprocessors.

Joon-Seo YimChang-Jae ParkWoo-Seung YangHun-Seung OhHee-Choul LeeHoon ChoiTae-Hoon KimSeungjong LeeNara WonYung-Hei LeeIn-Cheol ParkChong-Min Kyung
Published in: ASP-DAC (1997)
Keyphrases
  • formal verification
  • data mining
  • personal computer
  • machine learning
  • computer vision
  • multi agent
  • computing power