BSD Portscad/abc g20260925,1 FreeBSD
System for sequential synthesis and verification
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
ca4332a63c- License
- MIT
- Categories
- cad
- Package size
- 6622.8 KiB, 20410.9 KiB installed
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.
In the other systems
Install
Binary package:
pkg install abcFrom the ports tree:
cd /usr/ports/cad/abc/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= abc>0:cad/abcPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | g20260925,1 | g20260925,1 | g20220920 | g20241117 | - |
| FreeBSD:14:quarterly | g20260925,1 | g20260925,1 | n/a | g20241117 | - |
| FreeBSD:15:latest | g20260925,1 | g20260925,1 | n/a | g20241117 | g20241117 |
| FreeBSD:15:quarterly | g20260925,1 | g20260925,1 | n/a | n/a | n/a |
| FreeBSD:16:latest | g20260925,1 | g20260925,1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
gmake: devel/gmake
The full lists below include those, and their dependencies in turn.
Build dependencies 16
Run dependencies 2
Configuration
Options name: cad_abc
| Option | Default | Description |
|---|---|---|
| READLINE | on | Command line editing via libreadline |
| THREADS | on | Threading support |
- USES
- cmake
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| berkeley-abc-abc-g20260925-ab2139ee_GH0.tar.gz | 8.076152e+06 | efe42c12b0c09c8560b27fa2f0e511300cc561236f30a7c0e6a3b9970ab8b93c |