satgen: Add support for dffe, sdff, sdffe, sdffce cells.
authorMarcelina Kościelnicka <mwk@0x04.net>
Mon, 20 Jul 2020 20:49:30 +0000 (22:49 +0200)
committerMarcelina Kościelnicka <mwk@0x04.net>
Fri, 24 Jul 2020 01:19:21 +0000 (03:19 +0200)
commit0c6d0d4b5dc7c0b19bcca3f63a95b97a9df703d9
treefe9e286ed179c54348beeac052b06fd957454dac
parentdafe04d5590412cc8a95bee31810d96a358af3dd
satgen: Add support for dffe, sdff, sdffe, sdffce cells.
kernel/satgen.cc
kernel/satgen.h
tests/arch/xilinx/pmgen_xilinx_srl.ys
tests/sat/dff.ys [new file with mode: 0644]