Re: [oc] GTECH

["Marko Mlinar" <Marko.Mlinar@campus.fri.uni-lj.si>]

> > 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) );
>
> This is a Flip flop.  From looking at the above, I'm guessing this would
be
> translated to reset/set connections depending on the f/f in the library
you
> translate this too. Maybe I'm stating the obvious here, but GTECH is the
> internal library that designs are translated to by Synopsys FIRST, before
> being moved to the target libary.
>
> Hope this helps some.
Actually I was aware of that, but thanks for your help anyway. My question
actually was what does .forceXX mean. And why are four of them there?
Two of them would surely mean async. set/reset.

Marko