Login / Signup

Logic and Functional Verification in a Commercial Semiconductor Environment.

Jainendra KumarCarl Pixley
Published in: ACSD (1998)
Keyphrases
  • functional verification
  • real time
  • mobile robot
  • low cost
  • logic programming
  • hardware implementation