Login / Signup

Design and Verification of Parallel Multipliers Using Arithmetic Description Language: ARITH.

Kazuya IshidaNaofumi HommaTakafumi AokiTatsuo Higuchi
Published in: ISMVL (2004)
Keyphrases
  • description language
  • software architecture
  • web services
  • model checker
  • machine learning
  • artificial intelligence
  • upper bound
  • object oriented
  • general purpose