module GP_DFF(input D, CLK, nRSTZ, nSETZ, output reg Q);
+ parameter [0:0] INIT = 1'bx;
+ initial Q = INIT;
always @(posedge CLK, negedge nRSTZ, negedge nSETZ) begin
if (!nRSTZ)
Q <= 1'b0;
log("\n");
log(" map_cells:\n");
log(" techmap -map +/greenpak4/cells_map.v\n");
+ log(" dffinit -ff GP_DFF Q INIT\n");
log(" clean\n");
log("\n");
log(" check:\n");
if (check_label(active, run_from, run_to, "map_cells"))
{
Pass::call(design, "techmap -map +/greenpak4/cells_map.v");
+ Pass::call(design, "dffinit -ff GP_DFF Q INIT");
Pass::call(design, "clean");
}