近似计算的建模与综合 

在今天的超大规模集成电路设计中,降低功耗正在变得日益重要。与此同时,随着近些年移动计算和嵌入式系统的流行,有许多能够容忍计算误差的应用,如多媒体、信号处理和数据挖掘,已经被使用地越来越广泛。在这样的背景下,人们提出了一种非传统的设计范式——近似计算,用来为那些容错应用设计高能效数字系统。近似计算采用的设计方法利用了那些...
上海交通大学  博士论文  2017年 下载次数(17)| 被引次数()

Using Combinational Logic Function to Watermark IP Based on FPGA 

In the field of digital circuit design, the extensive applications of reusable intellectual property (IP) simplify the design procedure based on very large scal...
《Wuhan University Journal of Natural Sciences》  2006年 第06期 下载次数(15)| 被引次数(0)

命题投影时序逻辑符号模型检测及其应用研究 

模型检测是一种验证软硬件系统、多智能体系统、通信协议和嵌入式系统等的重要形式化方法。它将待验证系统建模为有限状态机,如Kripke结构、状态-迁移系统或自动机等,将系统期望的性质描述为时序逻辑公式;然后,自动化穷举搜索系统行为以确定待验证系统是否满足期望的性质。然而,现有模型检测方法大多基于显式状态空间描述和操作,即便...
西安电子科技大学  博士论文  2014年 下载次数(73)| 被引次数(0)