clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
authorEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 17:51:31 +0000 (09:51 -0800)
committerEddie Hung <eddie@fpgeh.com>
Wed, 15 Jan 2020 17:51:31 +0000 (09:51 -0800)
commite30b6bbbf8b5eaa8a16718d10ac6ab99da8e2b91
treecc4edec783b58479cd18ac2ebde2e4f03a5f9ad3
parentffd6f54f92a7ba3856b5f168b7db97eb8ed87caa
clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
passes/sat/clk2fflogic.cc
tests/sat/clk2fflogic.ys [new file with mode: 0644]