马丽丽
- 作品数：5 被引量：4H指数：1
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金湖南省重点学科建设项目湖南省教育厅科研基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种求解最小权值强规划的方法被引量：4
- 2011年
- 以规划领域中的不确定状态转移系统作为研究对象,给出最小权值强规划解的概念,提出一种求最小权值强规划解的方法。该方法可以求解与动作代价相关的数值规划问题,在不确定状态转移系统的执行动作上增加权值来表示动作的代价,在此基础上设计求解最小权值强规划解的算法。实验结果表明,该算法能有效求解最小权值强规划解,且比用反向搜索方法求强规划解的算法效率高。
- 陈建林文中华马丽丽吴正成任亚峰
- 一种基于静态分析的RTL设计错误检测方法和系统
- 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
- 马丽丽吕涛李华伟李晓维段永颢张金巍
- 用于RTL设计验证的静态错误检测方法
- 2011年
- 为快速有效地对集成电路设计中潜在的常见错误进行检测,提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输级(RTL)设计的行为信息,检测出设计中常见的错误,如状态机死锁、管脚配置错误。实验结果表明,静态检测相对于其他验证方法自动化程度高、检测速度快、检测准确度高、检测代码可重用,可以在模拟之前发现设计中的错误。
- 马丽丽吕涛李华伟张金巍段永颢
- 关键词：寄存器传输级
- 基于静态分析的RTL设计错误检测方法研究
- 近年来,随着数字集成电路工艺的迅速发展,芯片集成度的进一步提高,电路规模变得越来越大,复杂度也越来越高,其功能正确性也越来越受到人们的重视。然而,如何保证集成电路设计的正确性却是一个一直都没有得到很好解决的问题。在实际集...
- 马丽丽
- 文献传递
- 一种基于静态分析的RTL设计错误检测方法和系统
- 本发明公开了一种基于静态分析的RTL设计错误检测方法和系统。所述方法包括下列步骤：接收一个RTL设计源代码和相应的设计规范文件，根据待检测错误的类型并结合所述设计规范文件，构建对待测错误的检测标准并存储；针对待检测错误的...
- 马丽丽吕涛李华伟李晓维段永颢张金巍
- 文献传递
