berkeley-abc 1.01+20230625git01b1bd1+dfsg-3 source package in Ubuntu
Changelog
berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) unstable; urgency=medium * Revert upstream commit breaking yosys tests/arch/ice40/rom.ys -- Daniel Gröber <email address hidden> Thu, 29 Jun 2023 14:17:26 +0200
Upload details
- Uploaded by:
- Debian Science Team
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Mantic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
berkeley-abc_1.01+20230625git01b1bd1+dfsg-3.dsc | 2.2 KiB | b9fda91b1b997b7608e1bd38033f3381bcb68e0d5613238dca0cf7a5ba45c7dc |
berkeley-abc_1.01+20230625git01b1bd1+dfsg.orig.tar.xz | 3.7 MiB | 0148f9f6b278e38af2c00957d903f9879aa4e5890f418732a7cac0a642e3b838 |
berkeley-abc_1.01+20230625git01b1bd1+dfsg-3.debian.tar.xz | 19.6 KiB | d73d45e54815ecb14656614f1b20384cde22b4fe93c5530bef47a7055ce00bd3 |
Available diffs
No changes file available.
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 noble.
No description available for berkeley-abc-dbgsym in ubuntu noble.