mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-23 15:42:32 +00:00
Code Activity

dfflibmap: add regression test for resetval clobber

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-07-14 18:02:02 +02:00
parent 332ea782eb
commit eb96123030
2 changed files with 65 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

52
tests/techmap/dfflibmap_resetval_clobber.lib Normal file
View file

@ -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";
}
}
}