Re: Bug#761364: ITP: abc -- A System for Sequential Synthesis and Verification
Hi Ruben,
thanks for this ITP. I guess you intend to maintain it in the Debian
Science team since it perfectly fits into its electronics task. Please
make sure it will be added to the tasks file (I'd happily proxy this
work for you). The same is true for your other electronics relevant
ITPs and I recommend to always CC the Debian Science list if you issue
this kind of ITP.
On Sat, Sep 13, 2014 at 11:38:48AM +0200, ruben.undheim@gmail.com wrote:
> 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.
I admit I immediately stumbled upon this name but I fail to give a
better alternative.
Kind regards
Andreas.
--
http://fam-tille.de
Reply to: