This is a staging site. Uploads will not persist. Testing only.

yosys-abc

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.

lib64go23

Runtime library for GNU Go applications (64bit)

Library needed for GNU Go applications linked against the shared library.

librte-bpf24

Data Plane Development Kit (librte-bpf runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librte-bus-auxiliary24

Data Plane Development Kit (librte-bus-auxiliary runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librte-bus-cdx24

Data Plane Development Kit (librte-bus-cdx runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.

librte-bus-dpaa24

Data Plane Development Kit (librte-bus-dpaa runtime library)

DPDK is a set of libraries for fast packet processing. Applications run in user-space and communicate directly with dedicated network interfaces.