fsm_formal_verification

A small project with the intention of introducing formal verification inside an fsm module.

Details about fsm operation inside fsm.sv.

*A simulation.do file was made for easier code compilation and testing.

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
README.md		README.md
files.f		files.f
fsm.sv		fsm.sv
fsm_assertions.sv		fsm_assertions.sv
fsm_pkg.sv		fsm_pkg.sv
fsm_tb.sv		fsm_tb.sv
simulation.do		simulation.do

Provide feedback