Wimcupl - gal20v8a - синхронный государственная машина в equations

<р> Одним из способов преодоления государственная машина не имитируя в winsim является изменение уравнения, образованные при wincupl соответствует код. Для государственной машины, wincupl соответствует его в логике booleon в виде д-триггеров. Эти уравнения не совершенны и в случае предыдущего кода может показать, как ошибки могут образовывать. "OR'ing или« AND'ing термин "Res" для каждого уравнения может удовлетворить, что программа работает и имитирует правильно. В случае предыдущем примере начальное состояние S0 является 0110000 А, В, С, D, E, F, G.

Для условий, которые '0' (A, D, E, F, G) Вы и (НЕ (ВИЭ)) с остальной частью уравнения, тогда как для 'B' и 'C' вы 'или' ВИЭ с .! отдых для уравнения

<р> = объявления (__________) и ВИЭ; BD = (__________) # ВИЭ; Cd = (__________) # ВИЭ; дд = (__________) и разрешением;! ред = (__________) и разрешением;! ФО = (__________) и разрешением;! GD = (__________) и ВИЭ;!

<р> Если вы использовать уравнения, как это, "количество в поле«, определения государственных и государственная машина не необходимо в коде.

Обратите внимание, что (__________) часть в коде выше находится в отчете компиляции в wincupl. Изменение настроек компиляции, чтобы произвести уравнения делает это (Это очень долго и добавив дополнительный срок может сделать его слишком долго. Для этого другой контактный требуется который распадается на длинные уравнения на 2 небольших уравнений). Или другой способ, чтобы найти уравнения является их вручную решить. Примером этого время вручную решается показано ниже, и гораздо меньше, чем уравнений, полученных wincupl

<р> Объявление = & разрешения.

((С & F # E & F & г)!!!);! BD = F # & C & F # ВИЭ;! кд = г & #res! (б & C & е!); дд = (! d & C & B # е и е и г # б & C!) и разрешением;! ред = (! г # б & C) и разрешением;! ФО = (г & ! (! (б & C) # (б & C)!)) и разрешением;! GD = (б # с) и разрешением;

<р> Вернуться на предыдущую страницу