状态驱动相关论文
符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上......
获得未知时序电路的内部状态转移关系是逆向分析不明时序芯片的核心模块,对时序机的内部状态转移关系展开研究.在此基础上描述的压......
文章提出了一种完全以状态驱动为控制处理的设计思想出发点,按照系统的逻辑和机能建立有限状态机,并根据各状态机在系统中的不同地位......
针对逻辑未知PLD的孤立状态检测,对黑箱检测法进行研究.通过分析PLD的I/O结构,阐述检测过程中引脚属性判别的原理,对比分析3类判别......