Ubuntu
berkeley-abc package

berkeley-abc 1.01+20230625git01b1bd1+dfsg-1 source package in Ubuntu

Changelog

berkeley-abc (1.01+20230625git01b1bd1+dfsg-1) unstable; urgency=medium

  * New upstream version 1.01+20230625git01b1bd1+dfsg
  * Fixes ioWriteVerilog segfault

 -- Daniel Gröber <email address hidden>  Thu, 29 Jun 2023 02:29:56 +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 Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
berkeley-abc_1.01+20230625git01b1bd1+dfsg-1.dsc 2.2 KiB 2e0d7e12a2748ea267a2cbd605ae5ef41c1ad5faaf2743f6b53182b823c1605a
berkeley-abc_1.01+20230625git01b1bd1+dfsg.orig.tar.xz 3.7 MiB 0148f9f6b278e38af2c00957d903f9879aa4e5890f418732a7cac0a642e3b838
berkeley-abc_1.01+20230625git01b1bd1+dfsg-1.debian.tar.xz 16.2 KiB f0a7746e8249953043a79d14b64c65f61514c3698f3b0fd935b6d8cfbae66fdb

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: debug symbols for berkeley-abc