Paket: berkeley-abc (1.01+20230625git01b1bd1+dfsg-3) [debports]

Länkar för berkeley-abc

Debianresurser:

Felrapporter

Hämta källkodspaketet :

Hittades ej

Ansvariga:

Externa resurser:

Hemsida [www.eecs.berkeley.edu]

Liknande paket:

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.

Andra paket besläktade med berkeley-abc

beror

rekommenderar

föreslår

enhances

dep: libbz2-1.0

high-quality block-sorting file compressor library - runtime
dep: libc6 (>= 2.34)

GNU C-bibliotek: Delade bibliotek
också ett virtuellt paket som tillhandahålls av libc6-udeb
dep: libgcc-s1 (>= 3.4)

GCC stödbibliotek
dep: libreadline8 (>= 6.0)

GNUs readline- och history-bibliotek, körtidsbibliotek
dep: libstdc++6 (>= 11)

GNU standardbibliotek v3 för C++
dep: zlib1g (>= 1:1.1.4)

Kompressionsbibliotek - körtidspaket

Hämta berkeley-abc

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
riscv64 (inofficiell anpassning)	5.184,6 kbyte	11.926,0 kbyte	[filförteckning]