Tarkennettu haku
trixie  ] [  forky  ] [  sid  ]
[ Source: yosys  ]

Paketti: yosys-abc (0.52-2)

Links for yosys-abc

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti yosys:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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

  • depends
  • recommends
  • suggests
  • enhances

Imuroi yosys-abc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 4,828.6 kt12,925.0 kt [tiedostoluettelo]
arm64 4,271.9 kt12,054.0 kt [tiedostoluettelo]
armel 4,084.7 kt11,854.0 kt [tiedostoluettelo]
armhf 4,254.2 kt8,910.0 kt [tiedostoluettelo]
i386 4,902.4 kt13,881.0 kt [tiedostoluettelo]
ppc64el 4,906.7 kt15,382.0 kt [tiedostoluettelo]
riscv64 4,798.1 kt10,774.0 kt [tiedostoluettelo]