ABC

ABC is included within VTR to perform technology independent logic optimization and technology mapping.

ABC is developed at UC Berkeley, see the ABC homepage for details.