Descrição
Fluxos de verificação formal de hardware podem ser conduzidos por um front-end que coordena Yosys e solucionadores SMT opcionais. Instala o comando sby a partir do código atual do SymbiYosys para projetos FPGA e HDL.
FICHA · AUR
symbiyosys-git
Driver front-end para fluxos de verificação formal de hardware baseados em Yosys
- verification-tool
- Linha de comando
- Desenvolvimento
- HARDWARE
- Abre direto
- Roda no terminal
codex · reviewed · 4 de jun. de 2026 descrição em
pt-br · fallback Como rodar
sby
Comandos: sby
Permissões
Permissões ainda não analisadas para esta fonte.