Syn0psys bibliotek c0mpiler fejl

[xirix]

Jeg har i en synopsys biblioteket en primitiv med logik funktion:
"(! A &! C) | (B & C) | (A &! B)"
Bibliotek compiler (ver.2000 ... 2003) genkender ikke den funktion og give fejl:
"Det lykkedes ikke at anerkende den funktionalitet celle ....( LIBG-10)"
DC vil ikke bruge denne funktion, som det er markeret som flytbare.
Er der nogen fortælle mig, hvad der er galt med denne 3-input-funktion?

Tak

 

[news]

Po długim oczekiwaniu użytkownicy mogą wreszcie pobierać wersję 4.0 tej przeglądarki. Przyjrzyjmy się jej możliwościom

Read more...

 

[edacrack]

For hvis du gør sandheden tabellen, at logikken funktion vil være tilfældet uanset hvad værdien af A, B, C, så compileren ikke behøver at oversætte dette kredsløb

 

[xirix]

Fra sandheden bordet, for C = 1, A = B = 0,
Y = (! A &! C) | (B & C) | (A &! B) = (1 & 0) | (1 & 0) | (0 & 1) = 0

Resten af værdier er 1 logik.
Så det er ikke en konstant funktion.

Jeg spekulerer på, hvis vi kunne skyde skylden syn0psys parser.

 

[xirix]

Stadig ingen forslag?

 

[cnspy]

Du kan tage en af A, B, C som en vælge signalet fra de to andre.så er det sømme gerne A og / eller.

DC vil arbejde på denne udtrykke godt.

 

[xirix]

Jeg forsøgte allerede andre former:
"C? (A | B):! (A & B)" eller "(A | B) & C |! (A & B) &! C" med det samme resultat.