Login / Signup

A Simulation-Guided Paradigm for Logic Synthesis and Verification.

Siang-Yun LeeHeinz RienerAlan MishchenkoRobert K. BraytonGiovanni De Micheli
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
  • logic synthesis
  • inductive learning
  • heuristic search
  • quantum computing
  • databases
  • learning algorithm
  • integrity constraints
  • multi valued