
module <#shortName>Delay

sd_<#shortName> : [1..kSize+1];

[d_<#shortName>Start]   sd_<#shortName> < kSize -> kSize/<#shortName>Time : (sd_<#shortName>'=sd_<#shortName>+1);
[d_<#shortName>Fin] sd_<#shortName> = kSize -> kSize/<#shortName>Time : (sd_<#shortName>'=1);

endmodule