状态驱动相关论文
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上......
该论文主要研究的是对大中规模的可编程逻辑器件的解析问题.该论文在总结了前人的算法基础之上,利用图论中的基础理论,在进行数据......
BPR是企业成功运用ERP的一个重要因素,而能够很好地对过程进行描述和分析的工具是BPR正确实施的基础.工作流技术作为一项新兴技术,......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......
论述了在多用户信息管理系统中,权限配置和流程定制的设计思想:权限配置应采用层次化和组件化的思路,流程定制采用状态驱动流的方......
同步时序机的状态驱动可根据状态图来完成，状态图通常由次态方程求得，但对于复杂的同步时序机，其状态图一般比较复杂且庞大，难于用计算......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究。在此基础上描述的......
文章提出了一种完全以状态驱动为控制处理的设计思想出发点，按照系统的逻辑和机能建立有限状态机，并根据各状态机在系统中的不同地位......
针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究.通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别......
集成电路芯片在设计、制造及使用过程中都可能会被植入硬件木马,电子设备的安全受到极大威胁。近年来,硬件木马的设计和检测技术逐......
