Syn0psys biblioteka c0mpiler grešku

[xirix]

Ja sam u knjižnici synopsys primitivnim s logikom funkcija:
"(! A &! C) | (B & C) | (A &! B)"
Knjižnica prevodilac (ver.2000 ... 2003) ne prepoznaje tu funkciju i dati error:
"Failed to prepoznati funkcionalnosti cell ....( LIBG-10)"
DC neće koristiti takve funkcije kao što je označeno kao uklonjivi.
Da li itko mi reći što nije u redu sa ovim 3-input funkcije?

Hvala

 

[edacrack]

Jer ako je istina sto, logika funkciju koja će biti istinite bez obzira na vrijednost A, B, C pa kompajler ne treba prevesti ovo kolo

 

[xirix]

Iz tablica istinitosti, za C = 1, A = B = 0,
Y = (! A &! C) | (B & C) | (A &! B) = (1 & 0) | (1 & 0) | (0
i 1) = 0

Ostatak vrijednosti od 1 logici.
Dakle, ovo nije konstantna funkcija.

Ja sam zadivljen, ako bismo mogli kriviti syn0psys parser.

 

[xirix]

Još uvijek nema prijedlog?

 

[cnspy]

Možete uzeti neki od A, B, C, kao odaberite signal od druge dvije.onda šavova kao I / ILI.

DC će raditi na ovom izraziti dobro.

 

[xirix]

Pokušao sam već u drugim oblicima:
"C? (A | B):! (A & B)" ili "(A | B)
i C |! (A & B) &! C", s istim rezultatom.