Пакет alanmi-abc: Информация
Default inline alert: Версия в репозитории: 20221019.0.70cb339f-alt1
Исходный пакет: alanmi-abc
Версия: 20180617.0.g28a1307-alt1
Собран: 5 августа 2020 г. 3:34 в задании #255868
Категория: Инженерное ПО
Сообщить об ошибке в пакетеДомашняя страница: 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)
Сопровождающий: Elvira Khabirova
Последнее изменение
19 июня 2018 г. Elvira Khabirova 20180617.0.g28a1307-alt1
- New version - Upstream moved to github
10 февраля 2017 г. Elvira Khabirova 20160717.196.5d42a91ef6fb-alt1
- Initial build