首页> 外国专利> Statistical formal activity analysis with consideration of temporal and spatial correlations

Statistical formal activity analysis with consideration of temporal and spatial correlations

机译:考虑时间和空间相关性的统计形式活动分析

摘要

Techniques for statistical formal activity analysis with consideration of temporal and/or spatial correlations are described herein. According to one embodiment, a machine-implemented method for circuit analysis comprises unrolling a sequential circuit having a feedback loop into a plurality of unrolled circuits and introducing a spatial correlation via an encoding circuit coupled to the plurality of unrolled circuits for an activity analysis of the sequential circuit, the spatial correlation representing a dependency relationship between logic states of an input and logic states of other signals.
机译:本文描述了考虑时间和/或空间相关性的用于统计形式活动分析的技术。根据一个实施例,一种用于电路分析的机器实现的方法包括:将具有反馈回路的时序电路展开到多个展开电路中;以及经由耦合到所述多个展开电路的编码电路引入空间相关性,以进行电路的活动分析。在时序电路中,空间相关性表示输入的逻辑状态与其他信号的逻辑状态之间的依赖关系。

著录项

  • 公开/公告号US9195790B2

    专利类型

  • 公开/公告日2015-11-24

    原文格式PDF

  • 申请/专利权人 SYNOPSYS INC.;

    申请/专利号US201414180801

  • 发明设计人 ZHENYU GU;KENNETH S. MCELVAIN;

    申请日2014-02-14

  • 分类号G06F17/50;

  • 国家 US

  • 入库时间 2022-08-21 14:29:21

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号