-
公开(公告)号：CN100438437C
公开(公告)日：2008-11-26
申请号：CN200510130773.2
申请日：2005-12-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及无线传感器网络技术领域，特别是一种无线传感器网络处理器片内进程管理方法。本发明系统的构建一种低功耗的片内的进程管理方法，并有效的把它应用在实际的传感器节点系统中，最大限度的降低节点功耗，并且可供用户灵活的使用。本发明避免了在传感器节点采用传统的通用式芯片带来的诸多缺点，更适合于在传感器节点系统中的应用。进程管理具体方法步骤包括：系统的初始化；硬件上对系统的功耗的进行自动管理；进程调度单元对进程实施管理；软件上对系统的功耗进行主动管理。
-
公开(公告)号：CN102054100B
公开(公告)日：2012-09-19
申请号：CN201010594822.9
申请日：2010-12-17
Applicant: 中国科学院计算技术研究所
IPC: G06F17/50
Abstract: 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。
-
Patent Agency Ranking
公开(公告)号：CN101794330A
公开(公告)日：2010-08-04
申请号：CN200910244172.2
申请日：2009-12-30
Applicant: 中国科学院计算技术研究所
IPC: G06F17/50
Abstract: 本发明涉及集成电路验证方法及其系统，方法包括：步骤1，抽象引擎对待验证的集成电路进行抽象，生成对应的抽象模型，进行形式化计算；步骤2，激励生成引擎初始化根据待检测的集成电路的规范建立的马尔可夫模型；步骤3，激励生成引擎由马尔可夫模型生成激励，将激励输入仿真器，仿真器对待检测的集成电路进行仿真；步骤4，激励生成引擎依据形式化信息比较本周期仿真结果和上周期仿真获得的仿真结果，如果本周期仿真结果更接近目标状态，则调整马尔可夫模型中参数；步骤5，如果待检测的集成电路未达到目标状态并且仿真次数未超过预设次数，则执行步骤3；否则，终止仿真，并报告成功或者运行超时。本发明能够降低计算成本，提高检测效率。
-
公开(公告)号：CN102054100A
公开(公告)日：2011-05-11
申请号：CN201010594822.9
申请日：2010-12-17
Applicant: 中国科学院计算技术研究所
IPC: G06F17/50
Abstract: 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的类型，分模块遍历整个所述RTL设计源代码，通过词法分析、语法分析和静态语义分析提取待测错误的特征信息，对特征信息进行存储；判断所述待测错误的检测标准与特征信息是否匹配，若是，则结束待测设计的错误检测；否则，发送错误报告。
-
公开(公告)号：CN1794658A
公开(公告)日：2006-06-28
申请号：CN200510130773.2
申请日：2005-12-28
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及无线传感器网络技术领域，特别是一种无线传感器网络处理器片内进程管理方法。本发明系统的构建一种低功耗的片内的进程管理方法，并有效的把它应用在实际的传感器节点系统中，最大限度的降低节点功耗，并且可供用户灵活的使用。本发明避免了在传感器节点采用传统的通用式芯片带来的诸多缺点，更适合于在传感器节点系统中的应用。进程管理具体方法步骤包括：系统的初始化；硬件上对系统的功耗的进行自动管理；进程调度单元对进程实施管理；软件上对系统的功耗进行主动管理。
-
公开(公告)号：CN1494122A
公开(公告)日：2004-05-05
申请号：CN03147260.5
申请日：2003-07-11
Applicant: 中国科学院计算技术研究所
Abstract: 本发明涉及超大规模集成电路的设计验证技术领域，特别是一种基于增强型FUD链的可观测性覆盖评估方法，该方法通过添加“动态分支”域扩充了FUD链的功能，使之能够记录程序动态执行轨迹，并利用此增强型FUD链表征硬件设计方案的可观测性信息，进而评估模拟验证的可观测性覆盖率。该方法的基本策略包括三方面：(1)使用增强型FUD链表征可观测性信息；(2)事件驱动分析；(3)与可控制性覆盖准则结合的可观测性覆盖率计算方法。本发明所提出的方法可以与现有多种可控制性覆盖准则相结合，使得可控制性与可观测性的覆盖情况可以联合评估，从而提高覆盖准则的评估能力。
-
公开(公告)号：CN101794330B
公开(公告)日：2011-11-09
申请号：CN200910244172.2
申请日：2009-12-30
Applicant: 中国科学院计算技术研究所
IPC: G06F17/50
Abstract: 本发明涉及集成电路验证方法及其系统，方法包括：步骤1，抽象引擎对待验证的集成电路进行抽象，生成对应的抽象模型，进行形式化计算；步骤2，激励生成引擎初始化根据待检测的集成电路的规范建立的马尔可夫模型；步骤3，激励生成引擎由马尔可夫模型生成激励，将激励输入仿真器，仿真器对待检测的集成电路进行仿真；步骤4，激励生成引擎依据形式化信息比较本周期仿真结果和上周期仿真获得的仿真结果，如果本周期仿真结果更接近目标状态，则调整马尔可夫模型中参数；步骤5，如果待检测的集成电路未达到目标状态并且仿真次数未超过预设次数，则执行步骤3；否则，终止仿真，并报告成功或者运行超时。本发明能够降低计算成本，提高检测效率。
-
-
-
-
-
-
Search Results
7
records
(took 0.032 seconds)
