首页>
外国专利>
Timing verification method for deterministic and stochastic networks and circuits
Timing verification method for deterministic and stochastic networks and circuits
展开▼
机译:确定性和随机性网络和电路的时序验证方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
The timing verification method for deterministic and stochastic networks and circuits is a computerized method that includes a non-enumerative path length analysis algorithm for deterministic and stochastic directed acyclic graphs (DAGs) with applications to timing verification of circuits, the algorithm computing statistical measures of path lengths without storing and/or manipulating the paths in such networks. The timing verification method is able to compute deterministic or probabilistic costs assigned to edges, vertices, or both.
展开▼