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