Sign in

An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications.

Siang-Yun LeeHeinz RienerGiovanni De Micheli
Published in: CoRR (2022)
Keyphrases
  • logic synthesis
  • software testing
  • real time
  • heuristic search
  • logic circuits