Syn0psys knihovna c0mpiler chyba

[xirix]

Mám v knihovně Synopsys primitivní s logické funkce:
"(! A &! C) | (B & C) | (A &! B)"
Knihovna kompileru (ver.2000 ... 2003) nerozpoznává funkce a dát chyba:
"Nepodařilo se rozpoznat funkci buněk ....( LIBG-10)"
DC nebudou používat takové funkce jako je označena jako snímatelná.
Někdo mi říct, co je s touto 3-vstupní funkce?

Díky

 

[edacrack]

Protože když si v tabulce pravdy, že logické funkce bude pravda, bez ohledu na hodnotu A, B, C, takže kompileru nepotřebuje, aby tyto obvody

 

[xirix]

Z tabulky pravdy, pro C = 1, A = B = 0,
Y = (! A &! C) | (B & C) | (A &! B) = (1 & 0) | (1 & 0) | (0 & 1) = 0

Zbytek jsou hodnoty 1 logiky.
Tak, to není konstantní funkce.

Já jsem přemýšlela, kdybychom mohli obviňovat syn0psys parser.

 

[xirix]

Stále žádný náznak?

 

[cnspy]

Můžete mít jednu z a, b, c jako signál vybrat z dalších dvou.pak se to zdá jako A / NEBO.

DC bude fungovat na této expresní dobře.

 

[xirix]

Snažil jsem se již v jiných formách:
"C? (A | B):! (A & B)" nebo "(A | B) & C |! (A & B) &! C" se stejným výsledkem.