Пакет alanmi-abc: Информация
Исходный пакет: alanmi-abc
Версия: 20221019.0.70cb339f-alt1
Собран: 23 октября 2022 г. 19:08 в задании #308886
Категория: Инженерное ПО
Сообщить об ошибке в пакетеДомашняя страница: https://people.eecs.berkeley.edu/~alanmi/abc/
Лицензия: BSD-4-Clause
О пакете: System for 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 tool-box rather than a complete tool.
Список rpm-пакетов, предоставляемых данным srpm-пакетом:
alanmi-abc (x86_64, ppc64le, i586, armh, aarch64)
alanmi-abc-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
alanmi-abc (x86_64, ppc64le, i586, armh, aarch64)
alanmi-abc-debuginfo (x86_64, ppc64le, i586, armh, aarch64)
Сопровождающий: Anton Midyukov
Последнее изменение
23 октября 2022 г. Anton Midyukov 20221019.0.70cb339f-alt1
- New snapshot
19 июня 2018 г. Elvira Khabirova 20180617.0.g28a1307-alt1
- New version - Upstream moved to github
10 февраля 2017 г. Elvira Khabirova 20160717.196.5d42a91ef6fb-alt1
- Initial build