Syn0psys library c0mpiler error

[xirix]

I have in a synopsys library a primitive with logic function:
"(!A&!C) | (B&C) | (A&!B)"
Library compiler (ver.2000...2003) does not recognize the function and give the error:
"Failed to recognize the functionality of cell....(LIBG-10)"
DC will not use such function as it is marked as removable.
Does anybody tell me what is wrong with this 3-input function?

Thanks

 

[edacrack]

Because if you make the truth table, that logic function will be true no matter what the value of A, B, C so the compiler doesn't need to compile this circuit

 

[xirix]

From truth table, for C=1, A=B=0,
Y=(!A&!C) | (B&C) | (A&!B) = (1&0) | (1&0) | (0&1)=0

The rest of the values are 1 logic.
So, this isn't a constant function.

I'm wondering if we could blaim syn0psys parser.

 

[xirix]

Still no suggestion?

 

[cnspy]

You can take one of a, b, c as a select signal of the other two. then it seams like a AND / OR.

DC will work on this express well.

 

[xirix]

I tried already the other forms:
"C ? (A|B) : !(A&B)" or "(A|B)&C | !(A&B)&!C" with the same result.