面向时序逻辑的门级信息流分析方法
毛保磊
慕德俊
胡伟
南秦博
高昂
1.西北工业大学自动化学院,陕西西安,7100722.西北工业大学自动化学院,陕西西安,7100723.西北工业大学自动化学院,陕西西安,7100724.西北工业大学自动化学院,陕西西安,7100725.西北工业大学自动化学院,陕西西安,710072
摘要：利用门级信息流追踪逻辑基础理论,研究了门级信息流时序逻辑扩展问题,在确定系统时钟作为基础可信源情况下,给出了扩展4种典型触发器的实现方案.针对IWLS测试向量集使用Synopsys综合编译器,生成90 nm标准库文件,对门级信息流跟踪逻辑的面积、时间延迟和功耗等参数进行了评估.与未经优化的原始GLIFT编码相比,在引入时序逻辑之后,电路的平均面积消耗降低了50％以上,时间延迟减少13％左右,获得的面积和时间延迟信息反映了在逻辑门级层次上实现细粒度信息流控制的复杂性；而仿真获得的功耗对比结果表明追踪逻辑的功耗达到原始逻辑的5～20倍左右,功耗问题需要进一步研究和优化.
关键词：信息流控制时序逻辑嵌入式安全
分类号：TP314(计算技术、计算机技术)
资助基金：国家自然科学基金(61203233)航空科学基金(2012ZC53042)高等学校博士学科点专项科研基金(20126102110036)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 68-72 )
英文信息