- Dinotrace
Новый в Fedora 12, Dinotrace является средством просмотра сигналов, умеющим работать с форматами Verilog Value Change Dumps, ASCII и другими.
Он дает возможность расставлять курсоры, делать выделения в сигналах, осуществлять поиск, вывод на печать и другие функции, превосходящие возможности многих коммерческих программ просмотра сигналов.
Dinotrace оптимизирован для быстрой отладки. С использованием VTRACE при отказе моделирования курсоры будут автоматически помещены туда, где произошла ошибка, и комментарии будут видны в просмотре сигнала. Четыре нажатия мышкой, и ошибки будут выделены в журнальных файлах, а значения сигналов в месте возникновения ошибки будут видны в исходном тексте.
Fedora также поставляет dinotrace-mode для emacs в виде пакета emacs-dinotrace-mode.
- eqntott
eqntott преобразует логические выражения в таблицу истинности, которую можно использовать для приготовления входных данных для логической минимизации, преобразования логических выражений в более простые формы и для создания таблиц истинности. eqntott - новый для Fedora 12.
- expresso-ab
Новый для Fedora 12, espresso принимает в качестве входных данных двухуровневое представление двузначной (или многозначной) логической функции, а выдает минимальное эквивалентное представление. Это средство минимизации булевой логики.
- Verilator
Verilator - это самый бустрый бесплатный имитатор Verilog HDL. Он компилирует операторы синтезируемого Verilog, плюс некоторые PSL, SystemVerilog и Synthesis в текст программы на C++ или SystemC. Он предназначен для больших проектов, где на первом плане стоит высокая скорость моделирования, и особенно хорошо подходит для для создания выполняемых моделей процессоров для разработчиков встраиваемого программного обеспечения.
- vrq
VRQ - модульный парсер verilog, поддерживающий подключаемые модули для обработки verilog. Несколько модулей могут быть запущены в виде конвейера с помощью одного выполнения vrq. Это парсер с обобщенным интерфейсом с поддержкой структуры на основе подключаемых настраиваемых инструментов.
- Alliance
В CVS-репозиторий разработки Fedora Alliance поступило 100-е исправление в августе 2009 года, по контрасту со стабильностью на 64 архитектуре, и мы рады, что в главной ветке применили все наши исправления для alliance. Мы также собрали этот новый выпуск для всех testing-репозиториев, поддерживаемых Fedora, и для testing-репозитория EPEL-5. Вместе с этим новым выпуском выходит также новый графический интерфейс xgra, являющийся средством просмотра графов.
Мы не заменим Alliance VLSI на herb (поддерживавшийся как ответвление alliance) в Fedora. Перед выпуском F-11, разработка herb была активной, но замерла после выпуска F-11. Поскольку главная ветвь Alliance VLSI активна и отвечает на наши пожелания, то в настоящее время нет разумных причин делать устаревшей alliance ради herb.