GitHub repository: tramyn/Verilog2LPN
Primary language: ANTLR
Description: A compiler for asynchronous Verilog to labeled Petri nets