.. _abc: 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.