模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时问间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间 Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间 Petri网及可扩展的时间 Petri网,可扩展的时间 Petri网的网精简方法,使用 design/CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。

扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求。扩展的模糊时间Petri网是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文介绍了扩展的模糊时间Petri网的定义,模型检验方法,仿真工具,网精简技术和应用领域,并探讨了进一步研究的方向。

一种基于Quantus-reduce加速模拟仿真验证分析的解决方案

随着半导体技术的进步,芯片的设计规模不断扩大,这使得电路设计需要考虑的寄生效应更加复杂,电路的后仿真工作也变得更加繁重。介绍了如何应用Cadence公司的寄生抽取工具Quantus进行post-layout寄生抽取,利用Quantus的Standalone Reduction(简称Qreduce)功能对后仿网表进行精简,以达到缩减网表的规模,提高仿真速度的目的。Cadence的Qreduce功能是通过数学的运算,将RC网络进行等效运算,以减少节点,从而达到缩减网表的规模,但同时保证了不会对精度造成比较大的损失。从后仿网表的缩减程度、仿真精度的影响、仿真速度以及内存消耗等方面进行论述,给出关键对比指标。