Design compiler .lib file question

[feel_on_on]

design compiler + .lib file

in the .lib file :

example : (A +=>Y) = (a_lh_y_lh, a_hl_y_hl);
please tell me :

what is "+=>" ?

 

[ljxpjpjljx]

compiler .lib

find it in the user guide !

 

[raju3295]

wherer did u find u this type of syntax,,, is that the same synopsys timing .libs

 

[avimit]

It has been long since I last work in LIB group, but as far as I remember it has something to do with the 'unateness' of the timing arc. I think +=> signifies positive unateness and -=> signifies negative unateness
Kr,
Avi

 

[feel_on_on]

sorry ,i make a mistake . I mean simulation library for .lib file .

Thanks for above reply