Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

yosyshq-abc-0.39-1.20240314git0cd90d0.fc39 RPM for x86_64

From Fedora 39 updates for x86_64 / Packages / y

Name: yosyshq-abc Distribution: Fedora Project
Version: 0.39 Vendor: Fedora Project
Release: 1.20240314git0cd90d0.fc39 Build date: Thu Mar 14 22:29:06 2024
Group: Unspecified Build host: buildhw-x86-10.iad2.fedoraproject.org
Size: 27969 Source RPM: yosyshq-abc-0.39-1.20240314git0cd90d0.fc39.src.rpm
Packager: Fedora Project
Url: http://github.com/YosysHQ/abc
Summary: Sequential logic synthesis and formal verification
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 toolbox rather than a complete tool.

Provides

Requires

License

MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause

Changelog

* Thu Mar 14 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.39-1.20240314git0cd90d0
  - update to 0.39 snapshot
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.35-2.20231108git896e5e7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Nov 08 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.35-1.20231108git896e5e7
  - update to 0.35 snapshot
* Fri Oct 06 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.34-1.20231006gitdaad9ed
  - update to 0.34 snapshot
* Fri Aug 04 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31-1.20230804gitbb64142
  - Initial RPM

Files

/usr/bin/abc
/usr/lib/.build-id
/usr/lib/.build-id/db
/usr/lib/.build-id/db/8fe7a91b60f568f95c1cff9c20bbdf6011b83e
/usr/share/doc/yosyshq-abc
/usr/share/doc/yosyshq-abc/README.md
/usr/share/doc/yosyshq-abc/readmeaig
/usr/share/man/man1/abc.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Nov 16 04:36:08 2024