Skip to content
GitLab
Commit 3a74d433 authored by Jiuyang Liu's avatar Jiuyang Liu
Browse files

use z3 formal check minimized circuit and reference model.

parent b0c76525
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment