btor backend: add option to not include internal names
[yosys.git] / techlibs / greenpak4 / gp_dff.lib
1 library(gp_dff) {
2 cell(GP_DFF) {
3 area: 1;
4 ff("IQ", "IQN") { clocked_on: CLK;
5 next_state: D; }
6 pin(CLK) { direction: input;
7 clock: true; }
8 pin(D) { direction: input; }
9 pin(Q) { direction: output;
10 function: "IQ"; }
11 }
12 cell(GP_DFFS) {
13 area: 1;
14 ff("IQ", "IQN") { clocked_on: CLK;
15 next_state: D;
16 preset: "nSET'"; }
17 pin(CLK) { direction: input;
18 clock: true; }
19 pin(D) { direction: input; }
20 pin(Q) { direction: output;
21 function: "IQ"; }
22 pin(nSET) { direction: input; }
23 }
24 cell(GP_DFFR) {
25 area: 1;
26 ff("IQ", "IQN") { clocked_on: CLK;
27 next_state: D;
28 clear: "nRST'"; }
29 pin(CLK) { direction: input;
30 clock: true; }
31 pin(D) { direction: input; }
32 pin(Q) { direction: output;
33 function: "IQ"; }
34 pin(nRST) { direction: input; }
35 }
36 }