abc System for sequential synthesis and verification

g20200322 cad =0 g20200322Version of this port present on the latest quarterly branch.

Maintainer: uddka@student.kit.edu

Port Added: 2018-04-24 07:53:44

Last Update: 2020-03-22 08:56:59

SVN Revision: 528905

License: MIT

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 tool-box rather than a complete tool. WWW: https://people.eecs.berkeley.edu/~alanmi/abc/

SVNWeb : Homepage

pkg-plist: as obtained via: make generate-plist

Expand this list (6 items)

Collapse this list.

1. bin/abc
2. lib/libabc.so
3. @ldconfig
4. /usr/local/share/licenses/abc-g20200322/catalog.mk
5. /usr/local/share/licenses/abc-g20200322/LICENSE
6. /usr/local/share/licenses/abc-g20200322/MIT

Collapse this list.

• abc>0:cad/abc

To install the port: cd /usr/ports/cad/abc/ && make install clean

To add the package: pkg install abc

PKGNAME: abc

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1584862926 SHA256 (berkeley-abc-abc-g20200322-a4518e6f833885c905964f1233d11e5b941ec24c_GH0.tar.gz) = 66d928e01a8652d634cdc8d113ccfb5f79e3160be5fe49da0697845d31754760 SIZE (berkeley-abc-abc-g20200322-a4518e6f833885c905964f1233d11e5b941ec24c_GH0.tar.gz) = 5760207

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. gmake : devel/gmake
2. cmake : devel/cmake
3. ninja : devel/ninja

Library dependencies:

1. libreadline.so.8 : devel/readline

This port is required by:

for Build

1. cad/qflow
2. cad/yosys
3. devel/lattice-ice40-examples-hx1k
4. devel/lattice-ice40-examples-hx8k

Deleted ports which required this port:

Expand this list of 1 deleted port

1. devel/yosys^*
2. Collapse this list of deleted ports.

for Run

1. cad/qflow
2. devel/lattice-ice40-tools

Configuration Options

===> The following configuration options are available for abc-g20200322: READLINE=on: Command line editing via libreadline THREADS=on: Threading support ===> Use 'make config' to modify these settings

USES:

cmake readline

Master Sites:

Expand this list (1 items)

Collapse this list.
1. https://codeload.github.com/berkeley-abc/abc/tar.gz/a4518e6f833885c905964f1233d11e5b941ec24c?dummy=/
Collapse this list.

cad/abc: Update g20180420 -> g20200322

PR:		241511
Approved by:	uddka@student.kit.edu (maintainer's timeout; 4.5 months)

Update devel/readline to 8.0

- Bump PORTREVISION of dependent ports for shlib change

Changes:	https://tiswww.case.edu/php/chet/readline/CHANGES
PR:		236156
Exp-run by:	antoine

New port: cad/abc: System for sequential synthesis and verification

PR:		227254
Submitted by:	Christian Kramer <uddka@student.kit.edu>

12 vulnerabilities affecting 81 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last updated:
2021-01-23 18:22:23