Login / Signup

Simulation-based Equivalence Checking between IEEE 1687 ICL and RTL.

Aleksa DamljanovicArtur JutmanMichele PortolanErnesto SánchezGiovanni SquilleroAnton Tsertov
Published in: ITC (2019)
Keyphrases
  • wireless lan
  • model based diagnosis
  • real world
  • consistency checking
  • computer society
  • database
  • real time
  • computer vision
  • search algorithm
  • intelligent agent technology