Package: wnpp Severity: wishlist Owner: ruben.undh...@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. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140913093848.19326.25574.reportbug@miniserver.granittvegen
