GitHub - pointerliu/svdd: Minimize SystemVerilog code while preserving a user-defined property · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
benches		benches
docs/plans		docs/plans
duts/bugpoint_demo		duts/bugpoint_demo
src		src
tests		tests
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml

About

Minimize SystemVerilog code while preserving a user-defined property

systemverilog bug-reduction

Report repository

Releases

No releases published

Packages

Contributors

Languages