mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-15 03:35:40 +00:00
13 lines
No EOL
329 B
Text
13 lines
No EOL
329 B
Text
read_verilog -icells <<EOT
|
|
module top(input C, D, R, output Q);
|
|
$_DFF_PP0_ ff (.C(C), .D(D), .R(R), .Q(Q));
|
|
endmodule
|
|
EOT
|
|
|
|
dfflibmap -liberty dfflibmap_resetval_clobber.lib top
|
|
read_liberty dfflibmap_resetval_clobber.lib
|
|
flatten -noscopeinfo
|
|
opt_clean
|
|
|
|
select -assert-count 1 t:* top %i
|
|
select -assert-count 1 t:$_DFF_PP0_ top %i |