Trying to verify Verilog/VHDL designs with formal methods and tools
vhdl
verilog
systemverilog
sva
assertions
formal
yosys
T. Meissner 38ae7057c2 Incomment proof with abc pdr 1 month ago
..
Makefile Add simple VAI register file as base to try to formal verify FSM designs 1 month ago
properties.sv Replace integer coded FSM states by symbolic state names 1 month ago
symbiyosys.sby Incomment proof with abc pdr 1 month ago
trace.gtkw Add some more signals to trace 1 month ago
vai_reg.vhd Simplify signal generation 1 month ago