可编程逻辑器件设计语言ABEL课件.pptVIP

(3).CASE-ENDCASE語句語法：case[運算式:狀態運算式]；[運算式:狀態運算式]；[運算式:狀態運算式]；……endcase;例：casea==0:1;a==1:2;a==2:3;a==3:0;endcase(4).GOTO語句語法：goto狀態運算式；例：gotox+y;(5).WITH-ENDWITH語句語法：轉移語句狀態運算式with方程；[方程];……endwith;轉移語句：即IF、ELSE或CASE語句；狀態運算式：表示下一個狀態；方程：表示狀態機的輸出信號。WITH-ENDWITH語句與IF-THEN或CASE語句連用時，可使你根據轉移狀態寫出相應的輸出方程例：case5:ifa==1then1withX:=1;Y:=0;endwith;else2withX:=0;Y:=1;endwith;4.熔絲的形式熔絲可以清楚地定義有關器材中的某一個熔絲的狀態，以決定器件的功能。它的關鍵字是FUSES,運算式為:FUSESfusenumberseet=fusevalue;或者FUSESfusenumber=fusevalue;5.異或因數的形式異或因數部分可以指定一個布爾運算式，這個運算式從簡化的乘積形式方程中提取公因數，並與這個方程異或。這樣當一個設計在具有異或門結構的器件中實現時，可以大大地簡化方程的運算式。它的關鍵字是XOR_Factors,運算式為:XOR_FactorsSingal_name=xor_factors式中Singal_name為信號名，xor_factors為異或運算式。6.關於點擴展點擴展的語言符號為Singal_name.ext信號點擴展類似於屬性，它可以精確地描述電路的行為，其主要應用是複雜的語言情況。7.2.5.測試向量段在例1中測試向量段如下:Test_vections([A,B]-[X,Y])[0,0]-[0,0][0,1]-[0,1][1,0]-[0,1][1,1]-[1,0];測試向量段是可選項，它包括了測試向量和跟蹤說明兩部分。測試向量用於驗證邏輯設計的功能，它通過定義輸出為輸入的一個函數來指定用戶所期望的器件的邏輯運算，以便在仿真時確定邏輯功能是否正確。測試向量的關鍵字是Test_vectors,測試向量的表達形式為:Test_vectors[note](input[,input…]-output[,output])invalues-outvalues;例：!Clock,Rest,SIpininU12,12,15,3;這行代碼將器件U12的管腳12，15，3分別用標示符Clock,Rest,SI來表示。若模組中不止定義一個器件，必須用語句中的in項來指明器件。例：管腳的屬性可由語句中的屬性項或ISTYPE語句定義，比如FOpin13=‘neg,reg’;(2).節點定義節點定義的格式為:[!]node_id[,[!]node_id…]NODE[node#[,node#][IETYPE’attributes’];其中[!]node_id是邏輯設計中用於表示節點的識別字，node#為實際器件中的節點號，Attributes為在節點可編程的器件中用於指明屬性的字串(同管腳定義)。關鍵字NODE並沒有把信號限制在器件上的內部節點上，當一個信號用NODE定義後，也可能被器件裝配器分配給器件的I/O引腳上。(3).屬性定義屬性定義的格式為:signal[signa