Descripción Boolean formato de celda

[thenonbornking]

Estoy tratando de usar Encuentro de Bibliotecas Characterizer para caracterizar un registro de 4-cell portado.Al parecer, ELC no puede averiguar lo que la descripción lógica de la célula es.Creo que puedo decirle es lo que la célula se utiliza el comando db_bool, sin embargo no sé lo que el formato es.

He aquí un ejemplo del sistema de ayuda cadencia:
DL
, Registro ([IQ], [XIQ ])::=(~[ XIQ], ~ (G? D: [IQ]))
, Q:: = [IQ]
;
NAND2
, Y ::=~( A & B)
;
Tbuf
, Y:: = (A (a) ES)
;

Otros lugares en el sistema de ayuda se refieren a esto como el formato boolean synspec, pero no he sido capaz de encontrar cualquier cosa relacionada con este en Google.

¿Puede alguien que me señale un guía / tutorial sobre este formato booleano?O, posiblemente, me dan ejemplos más amplia?

Gracias!
-Michael

 

[ljxpjpjljx]

qué formato desea usar?

 

[thenonbornking]

Quiero utilizar el formato de la ELC va a entender.No sé lo que es.He visto que se refería a como el formato boolean synspec, pero no estoy seguro de si eso es correcto o no.

 

[thenonbornking]

Parece que el formato booleana es un viejo, no está bien apoyado, formato.Creo que el método actualmente recomendado consiste en editar una entrada de archivo creado por elc.El formato de archivo puerta se describe en la documentación del ELC.