Skip to content

chestercc1997/yosys_rtl-netlist_sequential_cec

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
syn_ys
syn_ys
 
 
syn_ys1
syn_ys1
 
 
syn_ys2
syn_ys2
 
 
README.md
README.md
 
 

Repository files navigation

Yosys and ABC Scripts for sequential equivalence checking between RTL and synthesized netlist

About

Yosys & ABC script for sequential equivalence checking for RTL and Synthesized netlist

Resources

Readme
Activity

Stars

7 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages