GRAFCET硬体合成-国立中央大学.pptVIP

陳慶瀚 機器智慧與自動化技術(MIAT)實驗室 國立中央大學資工系 2013年5月28日 A2-Circuit Synthesis via GRAFCET GRAFCET電路合成 Microprogram Controller Microprograms Controller(微程式控制器)is control unit is responsible for coordinating actions within the CPU. The control unit decodes the instruction and issue a set of control signals that result in the instruction’s execution. These control signals cause data to be routed correctly within the CPU, generate correct external control signals, such as READ and WRITE, and cause the ALU to perform the correct operation on the data. 1-bit 微程式控制器架構 算數邏輯運算模組(ALU) 程式記憶體模組 (ROM) 多工器模組(Multiplexer) 累加暫存器模組(Accumulater) 資料暫存器(RAM) 程式計數器(PC) 指令解碼器(Decoder) 微程式(Micrprogram) ALU 程式記憶體模組(ROM) 用以存放程式的記憶體電路。例如一個邏輯函數 F = a.b + c，可寫成三行程式指令，分別存放在3個bit-vector的記憶體： bit-vector# Operator Operand 功能說明 1 LD a 載入a(至ALU的累加暫存器) 2 ANDC b 將暫存器值 與作AND 3 OR c 將累加暫存器值與c作OR 多工器 (Multiplexer) 上述範例中，每一行程式指令必須提取一個operand，這個operand是眾多系統輸入變數中的其中一個，使用多工器，透過address可選取任意變數作為ALU的B端輸入 累加暫存器 (Accumulater) 累加暫存器是一個1-bit記憶體，用來儲存上一個程式指令的運算結果。 1-Bit 微程式處理器架構 資料暫存器(RAM) 為何需要1-bit RAM? 程式計數器 (PC) 提供要讀取的程式 記憶體的位址(一個 word一個word依 序讀取) 指令解碼器(Decoder) 為了控制1-Bit暫存記憶體ST送至MUX作為一個輸入變數，故需一個指令解碼器(instruction decoder)。 無條件跳躍(Non-conditional Jump) : JMP 有條件的跳躍(conditional Jump) : JMPA 跳躍指令的微程式應用 使用MIAT方法論設計微程式控制器 Instruction Set Design GRAFCET Discrete-Event Modeling High-Level Synthesis GRAFCET Controller Synthesis Datapath Synthesis System Integration 指令集設計 F3 f2 f1 f0 指令 Operand 功能說明 0 0 0 0 LD (addr) 從RAM的addr位址載入資料到ACC 0 0 0 1 AND (addr) 從RAM的addr位址載入資料與ACC做AND運算，結果放在ACC 0 0 1 0 OR (addr) 從RAM的addr位址載入資料與ACC做OR運算，結果放在ACC 0 0 1 1 ANDC (addr) 從RAM的addr位址載入資料，將之反相並與ACC做AND運算，結果放在ACC 0 1 0 0 STORE (addr) 將ACC資料存放 0 1 0 1 JMP [addr] 程式無條件跳躍(改變程式計數器(PC)值為addr) 0 1 1 0 JMPA [addr] 如果ACC為1，程式跳躍(改變程式計數器(PC)值為addr) 0 1 1 1 STOP [0] 結束 GRAFCET離散事件建模 Grafcet系統架構 Grafcet模組合成 grafcet:PROCESS(CLK,RST) BEGIN IF RST=1 THEN X0=‘1’;X1=‘0’;X2=‘0’;X3=‘0’; X4=‘0’;X5=‘0’;X6=‘0’;X7=‘0’;X8=‘0’;X9=‘0’;X10=‘0’; E