diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-20 22:49:30 +0200 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2020-07-24 03:19:21 +0200 |
| commit | 0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9 (patch) | |
| tree | fe9e286ed179c54348beeac052b06fd957454dac /tests/arch | |
| parent | dafe04d5590412cc8a95bee31810d96a358af3dd (diff) | |
| download | yosys-0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9.tar.gz yosys-0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9.tar.bz2 yosys-0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9.zip | |
satgen: Add support for dffe, sdff, sdffe, sdffce cells.
Diffstat (limited to 'tests/arch')
| -rw-r--r-- | tests/arch/xilinx/pmgen_xilinx_srl.ys | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/arch/xilinx/pmgen_xilinx_srl.ys b/tests/arch/xilinx/pmgen_xilinx_srl.ys index e76fb20ab..9a5e70ea9 100644 --- a/tests/arch/xilinx/pmgen_xilinx_srl.ys +++ b/tests/arch/xilinx/pmgen_xilinx_srl.ys @@ -35,7 +35,6 @@ design -stash gate design -copy-from gold -as gold pmtest_xilinx_srl_pm_fixed design -copy-from gate -as gate pmtest_xilinx_srl_pm_fixed -dff2dffe -unmap # sat does not support flops-with-enable yet miter -equiv -flatten -make_assert gold gate miter sat -set-init-zero -seq 5 -verify -prove-asserts miter @@ -52,6 +51,5 @@ design -stash gate design -copy-from gold -as gold pmtest_xilinx_srl_pm_variable design -copy-from gate -as gate pmtest_xilinx_srl_pm_variable -dff2dffe -unmap # sat does not support flops-with-enable yet miter -equiv -flatten -make_assert gold gate miter sat -set-init-zero -seq 5 -verify -prove-asserts miter |