ABC. A tool that simplifies and verifies the logic inside computer chips.

github.com/topjohnwu/CAD-Contest-NP3

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

September 2016
  • output
  • modify sort
  • modify runBmatch
  • Fix bugs in Bmatch_PrepNtks
  • ONE_TO_ONE
  • Function support Version 1.
  • New structure def.
  • No dump!
  • Fix naming bug & add (void *) to Abc_Frame_t for PI_PO_INFO
  • complete func supp & Init
August 2016
  • Update wrapper script
July 2016
  • Move pic
  • Correct some words.
  • Add something to Preliminaries
  • Add readme, ref, pic
  • Update image
  • Update QBF
  • Update picture
  • README improve
  • Fix