搜索筛选:
搜索耗时0.1167秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[期刊论文] 作者:潘雄,邓威,苑政国, 来源:微电子学与计算机 年份:2019
SpaceWire总线作为航天器数据/控制的“神经中枢”,其网络层的结构和应用设计是系统可靠性的重要影响因素.为了在SpaceWire总线网络层设计部署过程中,对其进行形式化分析,发...
[期刊论文] 作者:潘雄, 郝帅, 苑政国, 宋凝芳,, 来源:北京航空航天大学学报 年份:2004
扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触...
[期刊论文] 作者:潘雄, 邓威, 苑政国, 李安琪, 王磊,, 来源:微电子学与计算机 年份:2018
在空间应用中,静态随机访问存储器(SRAM)型现场可编程门阵列(FPGA)电路会遭遇空间辐射环境单粒子效应(SEU)引起的逻辑位翻转错误.为了在设计过程中,快速对功能电路设计的容错防护能力......
相关搜索: