【技术实现步骤摘要】
本专利技术涉及一种将FPGA硬件描述语言VHDL转为普通Petri网的方法。
技术介绍
FPGA (Field — Programmable Gate Array)是在 PAL、GAL、CPLD 等可编程器件的基础上进一步发展的产物。它是作为专用集成电路(ASIC)领域中的一种半定制电路而出现的，既解决了定制电路的不足，又克服了原有可编程器件门电路数有限的缺点。目前以硬件描述语言(VHDL)所完成的电路设计，可以经过简单的综合与布局，快速地烧录至FPGA上进行测试。FPGA (现场可编程逻辑器件)产品的主要应用领域有通信、消费电子、汽车电子、工业控制、测试测量等。随着技术要求的日渐提高，控制系统规模和结构复杂性增长日渐迅速。比如铁路交通控制系统，系统的状态个数随传感器和执行机构的数目呈现指数级的增长，若某一系统有η个传感器和执行机构，则这个系统状态有2η个，状态数非常庞大，所以FGPA面临着高计算 复杂性的问题。而高计算复杂性带来很多实际问题，比如:VHDL程序设计和程序调试工作量繁琐和巨大，芯片开发周期和成本不可调控；VHDL程序仿真无法验证每个状态(2n)，无法保证程序的正确性和可靠性，而程序出错可能造成严重事故。为了避免上述一些问题的出现，我们需要开发FPGA硬件描述语言VHDL的软件验证方法，利用计算机来完成程序仿真和验证工作，降低程序开发成本，保证程序的正确性和可靠性。因此，需要将VHDL程序模拟为计算机数学模型，即将VHDL程序转换为一种计算机数学模型一-Petri网，以Petri网为工具对VHDL程序进行仿真和验证。Petri网是1960年...
【技术保护点】
一种将FPGA硬件描述语言VHDL转为普通Petri网的方法，其特征在于包括如下步骤：步骤1：针对编译成功的VHDL程序，在实体中找到该程序的输入X,输出Y，其中Xm,Xn∈X,Y,Yk∈Y，得到关于输入输出的逻辑表达式,称为V2P公式：其中I,J,M,N∈{N+}，Yk,Xm,XN代表布尔量或布尔量取反，且步骤2：令V2P公式中的Yk=Lk,Xm,n=Wm,n或Lm，n，其中Lk,Wm，n，Lm，n为布尔量或布尔量的逆，得到一个关于L和W的逻辑关系式（1），为V2P公式的变形：步骤3：将关于L和W的逻辑关系式（1）转化为普通Petri网模型，具体步骤如下：步骤3.1：用集合表示所有的传感器WP和执行机构LQ，传感器{Wp|Wp∈WP,p,P∈N+}和执行机构{Lq|Lq∈LQ,q,Q∈N+}；步骤3.2：对于传感器，用一对库所来表示它的两种状态，假设初始状态为步骤3.3：首先令p=P；步骤3.4：在之间加上两个变迁，首先构造四条有向弧arc1、arc2、arc3、arc4分别由指向t1，t1指向指向t2，t2指向步骤3.5：p=p?1；步骤3.6：当p≠0时，转步骤3.4，当p=0时...
【技术特征摘要】
1.一种将FPGA硬件描述语言VHDL转为普通Petri网的方法，其特征在于包括如下步骤:步骤1:针对编译成功的VHDL程序，...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。