GitHub repository: vladyslav-dubina/SV2Aplan
Primary language: Python
Description: Translator from the System verilog language to the AVM algebraic model