搜索筛选:
搜索耗时1.2354秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[学位论文] 作者：沈胜宇,,
来源：国防科学技术大学 年份：2005
近年来,随着硬件系统(尤其是超大规模集成电路)规模不断增大,单纯的动态模拟方法已经无法提供足够的覆盖率,以满足系统验证的充分性和完备性要求。因此模型检验等形式化验证...
[期刊论文] 作者：沈胜宇,李思昆,
来源：计算机工程与科学 年份：2005
本文提出并实现了一种新的基于指令分解的微处理器验证与RTL级错误定位方法.该方法从指令集模拟器的模拟结果中将指令分解为功能单元上的操作序列,并且输入和输出数据.将该结...
[期刊论文] 作者：沈胜宇,李思昆,
来源：软件学报 年份：2006
使用反例压缩算法,从反例中剔除冗余信息,从而使反例易于理解,是目前的研究热点.然而,目前压缩率最高的BFL（brute force lifting）算法,其时间开销过大.为此,提出一种基于悖论分...
[期刊论文] 作者：高树静,沈胜宇,等,
来源：计算机工程与应用 年份：2002
文章介绍了一个嵌入式处理器的可测性设计技术，根据嵌入式微处理器各个组成部件逻辑功能的特点，分别采用了内置自测试（BIST）、部分扫描（Partial Scan）、边界扫描（Boundary Scan）等方......
[会议论文] 作者：沈胜宇,陈书明,刘华,
来源：第六届计算机工程与工艺全国学术年会 年份：1999
行波流水技术是一种在不增加存储部件的条件下，使电路具有更高运行频率的技术。行波流水技术要求电路经过延时平衡，才能获得尽可能的性能。但是，手工完成延时平衡是一项非常繁杂......
[期刊论文] 作者：张建民, 沈胜宇, 李思昆,,
来源：计算机学报 年份：2014
随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位设计中的错误,而求解不可满足子式可以显著提...
[期刊论文] 作者：李思昆,张建民,沈胜宇,,
来源：计算机辅助设计与图形学学报 年份：2008
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解......
[期刊论文] 作者：张建民,沈胜宇,李思昆,,
来源：计算机辅助设计与图形学学报 年份：2009
极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误.针对极小SMT不可满足子式的求解问题,提出了SMT公式搜索树及其3类结点的概念,并给出了不可满足子式、极小不可满足子式与3类结点之间的映射关系.基于......
[期刊论文] 作者：张建民,沈胜宇,李思昆,
来源：计算机工程与科学 年份：2009
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值，而不可满足子式能够为公式不可满足的原因提供精确的解释，帮助应用领域的自动化工具迅速定位错误，诊断问......
[期刊论文] 作者：张建民,沈胜宇,李思昆,
来源：计算机工程与科学 年份：2010
求解公式的可满足性在诸如形式化验证、电子设计自动化与人工智能等众多领域中都具有非常重要的理论与应用价值，成为近年来的研究热点。本文针对命题公式与一阶公式的可满足性......
[期刊论文] 作者：张建民,沈胜宇,李思昆,
来源：计算机学报 年份：2010
解释公式不可满足的原因在软件分析与验证等众多领域都具有非常重要的理论与应用价值,而极小不可满足子公式能够为公式不可满足的原因提供精炼的解释,帮助应用领域的自动化工...
[期刊论文] 作者：张建民,沈胜宇,李思昆,
来源：电子学报 年份：2009
解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值，而最小不可满足子公式能够为公式不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误，诊断问题失......
[会议论文] 作者：张建民;沈胜宇;李思昆;,
来源：全国第15届计算机辅助设计与图形学学术会议 年份：2008
解释可满足性模理论(Satisfiability Modulo Theories,SMT)公式不可满足的原因在众多领域都具有非常重要的理论与应用价值,而极小不可满足子式能够为公式不可满足的原因提供...
[期刊论文] 作者：高树静,沈胜宇,李思昆,潘振宽,
来源：计算机工程与应用 年份：2002
文章介绍了一个嵌入式微处理器的可测性设计技术。根据嵌入式微处理器各个组成部件逻辑功能的特点,分别采用了内置自测试(BIST)、部分扫描(PartialScan)、边界扫描(BoundaryS...
[期刊论文] 作者：杨明英,雷斐,董德尊,沈胜宇,庞征斌,,
来源：计算机工程与科学 年份：2014
随着高性能互连网络规模的增大,如何通过互连网络拓扑结构的设计来提升系统的性能和降低物理开销成为了系统设计的关键之一。传统的拓扑结构（可分为直接网络和间接网络）在网络......
[期刊论文] 作者：张建民,沈胜宇,宋廷强,高树静,李思昆,
来源：微电子学与计算机 年份：2004
通用IO接口是SoC系统中非常重要的一种外围端口.本文完成了一种基于WISHBONE总线的GPIO_WB控制器IP核的逻辑设计和物理实现,较具体地介绍了GPIO_WB IP核的体系结构以及WISHBO...
[会议论文] 作者：张建民,沈胜宇,宋廷强,高树静,李思昆,
来源：第八届计算机工程与工艺全国学术年会 年份：2003
通用IO接口是SoC系统中非常重要的一种外围端口.本文完成了一种基于WISHBONE总线的GPIO_WB控制器的逻辑设计和物理实现.文中较具体地介绍了GPIO_WB核的体系结构以及WISHBONE...
相关搜索：
