aman-goel/avr

Reads a state transition system and performs property checking

语言：C++ · GitHub 星标：94 · Fork：25

话题：formal-verification · ic3 · model-checking · pdr · verilog

在 GitHub 上查看原仓库