Login / Signup

Handling Nondeterminism in Logic Simulation so That Your Waveform Can Be Trusted Again.

Kai-Hui ChangHong-Zu ChouHaiqian YuDylan DobbynSy-Yen Kuo
Published in: IEEE Des. Test (2016)
Keyphrases
  • logic programming
  • modal logic
  • automated reasoning
  • simulation model
  • data sets
  • databases
  • reinforcement learning
  • orders of magnitude
  • mathematical model
  • classical logic