首页>
外国专利>
TROUBLESHOOTING TEMPORAL BEHAVIOR IN 'COMBINATIONAL' CIRCUITS
TROUBLESHOOTING TEMPORAL BEHAVIOR IN 'COMBINATIONAL' CIRCUITS
展开▼
机译:故障排除“组合”电路中的时间行为
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method and computer product is provided to generate a signal model for use in analyzing a model system including imposing an explicit time assumption for each time instant of the system model. The time assumptions are defined so that any two assumptions contradict each other, thereby separating all inferences into the respective times. A non-monotonic rule is applied to instantiate component models of the model system. Results are defined as not depending on the existence of a previous time instant and, a simplified signal model is generated, wherein the signal model represents the evolution of a value in the model system over time.
展开▼