基于Petri Net的FPGA软硬件系统可靠性研究  CNKI文献

航空航天事业的飞速发展,使空间荷载数字系统所承担的任务越来越多样和复杂,而由空间高能粒子等气象现象造成的单粒子效应,使得一些航空航天的核心设备在其运转的过程中受到影响并发生各种故障,造成传输数据错误...

曹起鸣 导师:闫允一 西安电子科技大学 2019-04-01 硕士论文

基于Petri网的数字系统建模和VHDL实现  CNKI文献

基于Petri网的数字系统的建模及其硬件实现方法已经得到了广泛的研究,然而现有的方法主要适用于同步电路,由此提出了一种基于Petri网的数字系统建模和VHDL实现的新方法。首先定义了一种广义同...

万军 赵不贿... 《计算机应用研究》 2017年02期 期刊

FPGA程序的形式化建模与分析方法研究  CNKI文献

随着计算机、电子通信等技术的高速发展,国家对电子自动化应用的要求也在不断提高。现场可编程门阵列(Field Programmable Gate Array,FPGA)作为目前一项非常重要的数字化技术,被广泛应用于一些安全苛求的系

陈珑 导师:罗继亮 华侨大学 2015-04-10 硕士论文

高级综合优化算法研究  CNKI文献

电子系统的设计复杂性和系统功能一直在呈几何级数增长，全球的竞争又加剧了产品开发周期的缩短。因此，对电子设计自动化工具的需求越来越迫切，要求也日益提高，这一切促进了EDA的发展，加速了设计方法...

马伯伟 导师:马光胜 哈尔滨工程大学 2002-02-01 硕士论文

一种新的高级综合的设计表示模型  CNKI文献

高级综合技术的研究在当前倍受关注。高级综合的第一步是将以算法形式给出的数字系统的行为描述转化为综合设计的内部表示，而后其它子任务在此基础之上进行。本文提出了一种新的基于Ｐｅｔｒｉ网的高级综...

袁小龙 沈绪榜 《计算机辅助设计与图形学学报》 1997年06期 期刊

Petri网与数字系统设计  CNKI文献

日益复杂的数字系统设计,须由各种专业的设计人员分工完成。他们之间需要一种描述系统的“共同语言”来沟通,这对于提高设计质量、缩短设计周期、减少设计费用具有积极意义。Petri网十分适合担任这...

赵不贿 黄建文 《电子测量与仪器学报》 1994年02期 期刊

图论中Petri网用于数字系统的建模  CNKI文献

在数字系统的描述和分析方面,经常要用到图论这一数学工具。本文介绍的petri网,作为一种图论方法,特别适于描述系统的结构,在数字系统CAD中有着越来越广泛的应用。

徐志军 《军事通信技术》 1989年03期 期刊