berkeley-abc 1.01+20181130git163bba5+dfsg-1build1 source package in Ubuntu
Changelog
berkeley-abc (1.01+20181130git163bba5+dfsg-1build1) disco; urgency=medium * No-change rebuild for readline soname change. -- Matthias Klose <email address hidden> Mon, 14 Jan 2019 19:58:08 +0000
Upload details
- Uploaded by:
- Matthias Klose
- Uploaded to:
- Disco
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
berkeley-abc_1.01+20181130git163bba5+dfsg.orig.tar.xz | 3.5 MiB | c2935288a87a5c364310313ed88864e2bfc1646f418c728a216662d1b092b14c |
berkeley-abc_1.01+20181130git163bba5+dfsg-1build1.debian.tar.xz | 14.6 KiB | cf4560096c204b978629c584dd671c293bc5fbfd2c021ba3fe1461874ebac073 |
berkeley-abc_1.01+20181130git163bba5+dfsg-1build1.dsc | 2.2 KiB | 9631693e8bcd4cafd1c2fbd84ba83c4ff6159c51ed3950519019e3020fcc898b |
Available diffs
Binary packages built by this source
- berkeley-abc: ABC - A System for Sequential Synthesis and Verification
This 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 tool-box rather than a complete tool.
- berkeley-abc-dbgsym: No summary available for berkeley-abc-dbgsym in ubuntu disco.
No description available for berkeley-abc-dbgsym in ubuntu disco.