equivalence checking & testing for soDLA
In yosys
read_verilog target.v
opt_clean -purge
equiv_make gold gate equiv
hierarchy -top equiv
clean -purge; show
equiv_induct or equiv_simple
equiv_status assert
TODO
-
Notifications
You must be signed in to change notification settings - Fork 2
equivalence checking for soDLA
License
Unknown, BSD-3-Clause licenses found
Licenses found
Unknown
LICENSE.NVDLA
BSD-3-Clause
LICENSE.soDLA
redpanda3/soDLA_equi
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
equivalence checking for soDLA
Resources
License
Unknown, BSD-3-Clause licenses found
Licenses found
Unknown
LICENSE.NVDLA
BSD-3-Clause
LICENSE.soDLA
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published