华侨大学学报（自然科学版）
華僑大學學報（自然科學版）
화교대학학보（자연과학판）
JOURNAL OF HUAQIAO UNIVERSITY(NATURAL SCIENCE)
2015年
1期
29-34
,共6页
现场可编程门阵列%组合逻辑%Petri 网%建模方法%状态可达图
現場可編程門陣列%組閤邏輯%Petri 網%建模方法%狀態可達圖
현장가편정문진렬%조합라집%Petri 망%건모방법%상태가체도
field-programmable gate array%combinational logic%Petri net%modeling method%state reachable graph
针对现场可编程门阵列（FPGA）组合逻辑程序，提出其普通 Petri 网建模方法。首先，将状态变量描述为库所对，程序中的逻辑运算描述为变迁，从而将系统程序转换为一个普通 Petri 网结构；然后，根据 Petri 网的动态分析性能，给出系统状态可达图的计算方法，实现了状态可达图等价描述 FPGA 组合逻辑系统运行过程。研究结果表明：该 Petri 网能够准确地描述变量间的逻辑关系，提出的方法可以为 FPGA 组合逻辑程序的形式化设计和验证提供建模依据。
針對現場可編程門陣列（FPGA）組閤邏輯程序，提齣其普通 Petri 網建模方法。首先，將狀態變量描述為庫所對，程序中的邏輯運算描述為變遷，從而將繫統程序轉換為一箇普通 Petri 網結構；然後，根據 Petri 網的動態分析性能，給齣繫統狀態可達圖的計算方法，實現瞭狀態可達圖等價描述 FPGA 組閤邏輯繫統運行過程。研究結果錶明：該 Petri 網能夠準確地描述變量間的邏輯關繫，提齣的方法可以為 FPGA 組閤邏輯程序的形式化設計和驗證提供建模依據。
침대현장가편정문진렬（FPGA）조합라집정서，제출기보통 Petri 망건모방법。수선，장상태변량묘술위고소대，정서중적라집운산묘술위변천，종이장계통정서전환위일개보통 Petri 망결구；연후，근거 Petri 망적동태분석성능，급출계통상태가체도적계산방법，실현료상태가체도등개묘술 FPGA 조합라집계통운행과정。연구결과표명：해 Petri 망능구준학지묘술변량간적라집관계，제출적방법가이위 FPGA 조합라집정서적형식화설계화험증제공건모의거。
In the view of field-programmable gate array (FPGA)combinational logic program,this research proposed an ordinary Petri net modeling method.First,a state variable is represented by a pair of places,while a logical operation is described by a transition.Consequently,a system program can be modeled by a common Petri net.Then,based on the dynamic analysis capability of Petri net,the computing method of system state reachable graph is given,and achieved the equivalence description of operational process between state reachable graph and FPGA combinational logic system.The results show that the Petri net can accurately describe the logic of the relationship between variables.The proposed meth-od in this paper can be used for the formal design and verification of FPGA combinational logic program.
