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