.. _abc: ABC === ABC is included with in VTR to perform technology independant logic optimization and technology mapping. ABC is developed at UC Berkeley, see the `ABC homepage `_ for details.