Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification

[ruben.undheim@gmail.com]

Package: wnpp
Severity: wishlist
Owner: ruben.undheim@gmail.com


* Package name    : abc
  Version         : 1.01-20140822hg4d547a5e065b
  Upstream Author : Berkeley Logic Synthesis and Verification Group
* URL             : http://www.eecs.berkeley.edu/~alanmi/abc/
* License         : MIT-similar (The Regents of the University of California)
  Programming Lang: C
  Description     : A System for Sequential Synthesis and Verification

ABC is a growing software system for synthesis and verification of
binary sequential logic circuits appearing in synchronous hardware
designs. ABC combines scalable logic optimization based on And-Inverter
Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up
tables and standard cells, and innovative algorithms for sequential
synthesis and verification.


Please provide feedback on the naming of the package!
Perhaps the name "abc" is a bad name to use in debian although
it's the correct upstream name.