https://bugzilla.redhat.com/show_bug.cgi?id=1169492
Bug ID: 1169492
Summary: Review Request: abc - Sequential logic synthesis and
formal verification
Product: Fedora
Version: rawhide
Component: Package Review
Severity: medium
Priority: medium
Assignee: [email protected]
Reporter: [email protected]
QA Contact: [email protected]
CC: [email protected]
Spec URL: https://jjames.fedorapeople.org/abc/abc.spec
SRPM URL:
https://jjames.fedorapeople.org/abc/abc-1.01-1.hg20141130.fc22.src.rpm
Fedora Account System Username: jjames
Description: 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.
ABC provides an experimental implementation of these algorithms and a
programming environment for building similar applications. Future development
will focus on improving the algorithms and making most of the packages
stand-alone. This will allow the user to customize ABC for their needs as if
it were a toolbox rather than a complete tool.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component
_______________________________________________
package-review mailing list
[email protected]
https://admin.fedoraproject.org/mailman/listinfo/package-review
