TMP30

140

S. Języki specyfikacji dla układów programowalnych

5.2. Język AHDL

141

Odpowicdni plik raportu automatu z przykładu 5.18 (patrz niżej) poza informacjami implementacyjnymi (typ modułu FPLD, zajętość zasobów itp.) zawiera również informacje dotyczące sposobu kodowania stanów wewnętrznych projektowanego detektora sekwencji. Są one zapisane we fragmencie zatytułowanym •• STATE MACHINĘ ASSIGNMENTS *•. Oczywiście kodowanie to jest wynikiem działania odpowiedniej procedury syntezy logicznej, optymalizującej układ z punktu widzenia redukcji termów. Zakodowany automat jest następnie poddawany procesowi obliczania funkcji wzbudzeń. Funkcje te są zapisywane w pliku raportu kolejno dla , poszczególnych przerzutników z uwzględnieniem zasobów logicznych zastosowanego modułu FPLD. W szczególności należy zwrócić uwagę na występowanie w opisie rejestrów DFFE dwuargumentowej operacji XOR (ozn. $), stosownie do wyposażenia [makrokomórki układu MAX7000 w bramki XOR, służące do ustawienia polaryzacji rgnału wyjściowego matrycy AND-OR.

Project compilation was successful iutomat wykrywający sekwencje 001 DEVICE SUMIARY ••

Input Output Bidir    Shareable

Devi.ce    Pins Pins Pins LCs Expanders %Utilized

wej x, zegar : INPOT; y    : OUTPUT;

VARIABLE

Q : MACHINĘ WITH STATES (Stani, stan2, stan3, stan4, stanS);

BEGIN

Q.clk - zegar;

CASE 0 IS

WHEN stanl »>

IF wej_x — GND THEN Q = stan2; y - X;

ELSIF wej_x -- VCC THEN Q - stan3; y - X;

END IF;

WHEN stan2 ■>

IF wej_x — GND THEN

.    y - X;

ELSIF wej_X — VCC THEN

y - X;

END IF;

WHEN stan3 ->

Q - stanS; y - X;

WHEN stan4 ->

IF wej_x — GND THEN Q - stanl; y * GND;

ELSIF wej_x — VCC THEN

y =■ VCC;

END IF;

WHEN stan5 *>

IF wej_X — GND THEN 0 = stanl;

y - GND;

ELSIF wej_x — VCC THEN Q » stanl; y - GND;

END IF;

END CASE;

END;

detl EPM7128SLC84-7    2    1

Project Information d: \users\max2work\ahdl\detl.rpt

** STATE MACHINĘ ASSIGNMENTS ••

0: MACHINĘ

OF BITS (

0-3,

0-2,

0-1