Syn0psys 도서관 c0mpiler 오류

[xirix]

나는 도서관에있다는 Synopsys 논리 기능을 가진 원시 :
"(!의 A &! C) | (B 조 & C는) | (한 &! B 조)"
도서관 컴파일러 (ver.2000 ... 2003) 기능을 인식하지 않고 오류를
줄 수 :
"....( LIBG - 10 세포의 기능을 인식하는)"실패
이동식으로 표시되어있다 직류로 같은 기능을 사용하지 않습니다.
이
3 - 입력 기능을 가진 사람이 무슨 잘못인지 말해줄 수 있습니까?

감사합니다

 

[edacrack]

왜냐하면 만약에 당신이 진리에 테이블을 만들 때문에이 회로를 컴파일하는 컴파일러는 필요하지 않다, 그 논리에 상관없이 함수는 A, B, C의 진정한 가치가 무엇 것입니다

 

[xirix]

진실을 테이블에서는 C = 1, A =
사랑 B 조 = 0,
Y = (!의 A &! C) | (B 조 & C는) | (한 &! B 조) = (1 & 0) | (1 & 0) | (0 & 1) = 0

가치관의 나머지 1 논리입니다.
그래서, 이것은 지속적인 기능을하지 않습니다.

만약 우리가 syn0psys 파서를 탓할 수 있을까.

 

[xirix]

아직 제안?

 

[cnspy]

하나는 A, B, 취할 수있는 다른 두 사람의 선택 신호 때문에 C.다음과
/ 또는 같은 솔기.

직류에서 작동이 잘 표현된다.

 

[xirix]

난 이미 다른 형태의 시도 :
는 "C? (A |
개인 B 조) :! (의 A & B)를"또는 "(한 | B)를 & C는 |! (의 A & B)를 &! C"는 동일한 결과를 함께했다.