BTOR2 Visualizer
Interactive graph viewer for BTOR2 hardware models
+
−
Fit
Clear
PNG
SVG
Legend
state
input
bad
constraint
memory
logic
constant
clump
Paste BTOR2
Cancel
Load
Paste Witness Trace
Cancel
Load