Hello! I was looking recently at Synopsis output. Does anybody knows what does .forceXX(...) mean? Is there any info about GTECH library? e.g.: \**FFGEN** x_reg ( .next_state(a), .clocked_on(clk), .force_00(n133), .force_01(rst), .force_10(n133), .force_11(n133), .Q(x) ); thanks, Marko