Paketti: yosys-abc (0.33-6~exp3) [debports]

[ Source:  ]

Kokeellinen paketti

Varoitus: Tämä paketti on kokeellisesta jakelusta. Tämä tarkoittaa, että se on luultavasti epävakaa tai buginen, ja voi aiheuttaa jopa tiedonhäviötä. Kannattaa ehdottomasti tutustua muutoslokiin ja muihin mahdollisiin ohjeisiin ennen käyttöönottoa.

Sequential Logic Synthesis and Verification Algorithms

ABC is a system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. It 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.

This is a fork of berkeley-abc maintained by the YosysHQ team for use in the yosys RTL synthesis framework.

Muut pakettiin yosys-abc liittyvät paketit

• dep: libbz2-1.0

  high-quality block-sorting file compressor library - runtime

• dep: libc6 (>= 2.38)

  GNU-C-kirjasto: jaetut kirjastot
  myös näennäispaketti, jonka toteuttaa libc6-udeb

• dep: libgcc-s1 (>= 3.3.1)

  GCC:n apukirjasto

• dep: libreadline8t64 (>= 6.0)

  GNU:n readline- ja historiakirjastot, ajonaikaiset kirjastot.

• dep: libstdc++6 (>= 13.1)

  GNU standardi C++ -kirjasto, versio 3

• dep: zlib1g (>= 1:1.1.4)

  pakkauskirjaston ajonaikaistiedostot

Imuroi yosys-abc

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Paketin koko	Koko asennettuna	Tiedostot
x32 (epävirallinen siirros)	5,343.7 kt	14,605.0 kt	[tiedostoluettelo]