diff --git a/tests/techmap/dfflibmap_resetval_clobber.lib b/tests/techmap/dfflibmap_resetval_clobber.lib new file mode 100644 index 000000000..dcf4e4402 --- /dev/null +++ b/tests/techmap/dfflibmap_resetval_clobber.lib @@ -0,0 +1,52 @@ +library(test) { + cell (bad_dff) { + area : 1; + ff("IQ", "IQN") { + next_state : "!D"; // Look here + clocked_on : "CLK"; + preset : "!RST"; // Look here + } + pin(D) { + direction : input; + } + pin(CLK) { + direction : input; + } + pin(RST) { + direction : input; + } + pin(Q) { + direction: output; + function : "IQ"; + } + pin(QN) { + direction: output; + function : "IQN"; + } + } + cell (good_dff) { + area : 1; + ff("IQ", "IQN") { + next_state : "D"; // Look here + clocked_on : "CLK"; + clear : "RST"; // Look here + } + pin(D) { + direction : input; + } + pin(CLK) { + direction : input; + } + pin(RST) { + direction : input; + } + pin(Q) { + direction: output; + function : "IQ"; + } + pin(QN) { + direction: output; + function : "IQN"; + } + } +} diff --git a/tests/techmap/dfflibmap_resetval_clobber.ys b/tests/techmap/dfflibmap_resetval_clobber.ys new file mode 100644 index 000000000..aacf40f6c --- /dev/null +++ b/tests/techmap/dfflibmap_resetval_clobber.ys @@ -0,0 +1,13 @@ +read_verilog -icells <