Syn0psys biblioteket c0mpiler feil

[xirix]

Jeg har i en synopsys biblioteket et primitivt med logikken funksjon:
"(! A &! C) | (B & C) | (A &! B)"
Bibliotek kompilatoren (ver.2000 ... 2003) kjenner ikke igjen funksjonen og gi feil:
"Kunne ikke gjenkjenner funksjonaliteten til cellen ....( LIBG-10)"
DC vil ikke bruke en slik funksjon som det er markert som flyttbar.
Har noen fortelle meg hva som er galt med denne 3-inngang funksjon?

Takk

 

[edacrack]

Fordi hvis du gjør sannheten tabellen som logikk funksjonen vil være til stede uansett hva verdien av A, B, C, slik at kompilatoren ikke trenger å kompilere denne kretsen

 

[xirix]

Fra sannheten tabellen, for C = 1, A = B = 0,
Y = (! A &! C) | (B & C) | (A &! B) = (1 / 0) | (1 / 0) | (0 / 1) = 0

Resten av verdiene 1 logikk.
Så, dette er ikke en konstant funksjon.

Jeg lurer på om vi kan klandre syn0psys parser.

 

[xirix]

Fortsatt ikke noe forslag?

 

[cnspy]

Du kan ta en av a, b, c som velger signal til de andre to.så det sømmer som et OG / ELLER.

DC vil jobbe med dette uttrykke godt.

 

[xirix]

Jeg prøvde allerede i andre former:
"C (A | B):! (B & B) eller (A | B) & C |! (B & B) &! C" med samme resultat.