PV2 Speculoos: SPECification LOgics fOr Synthesisgenerates AIGER circuits based on descriptions of register updates and output expressions

Set of tools for Register Transfer Level hardware description

Application domain/field

Type of tool

Synthesis tool?

Expected input

Description of register updates and output expressions?


Own language, .spec file

Expected output

AIGER circuit


Given a basic language, it can generate AIGER files.
Hardware Synthesis


Repository: https://github.com/romainbrenguier/Speculoos

ProVerB specific

ProVerB is a part of SLEBoK. Last updated: February 2023.