Syn0psys bibliotheek c0mpiler fout

[xirix]

Ik heb in een synopsys bibliotheek met een primitieve logica functie:"(!A&!C) | (B&C) | (A&!B)" Bibliotheek compiler (ver.2000 ... 2003) wordt niet herkend door de functie en geven de fout:
"Failed to erkennen de functionaliteit van de cel ....( LIBG-10)"
DC zal geen gebruik maken van deze functie is gemarkeerd als verwijderd.
Is er iemand mij vertellen wat er mis is met deze 3-input functie?

Bedankt

 

[edacrack]

Want als je de waarheid tabel, dat de logische functie zal inderdaad niet uit wat de waarde van A, B, C, zodat de compiler niet hoeft te compileren dit circuit

 

[xirix]

Van waarheid tafel, voor C = 1, A = B = 0,
Y = (! A &! C) | (B & C) | (A &! B) = (1 & 0) | (1 & 0) | (0 & 1) = 0

De rest van de waarden 1 logica.
Dus, dit is niet een constante functie.

Ik vraag
me af of we kunnen de schuld syn0psys parser.

 

[xirix]

Nog steeds geen idee?

 

[cnspy]

U kunt een van a, b, c als een select signaal van de andere twee.dan naden als een EN / OF.

DC zal werken op deze uitdrukkelijke goed.

 

[xirix]

Ik probeerde al de andere vormen:
"C? (A | B):! (A & B)" of "(A | B) & C |! (A & B) &! C" met hetzelfde resultaat.