首页>
外国专利>
Guided exploration of circuit design states
Guided exploration of circuit design states
展开▼
机译:指导探索电路设计状态
展开▼
页面导航
摘要
著录项
相似文献
摘要
A model checking tool, which is used to test a circuit design, attempts to reach a target state from an initial state in the state-space of the circuit design using one or more intermediate states. Through an iterative process, the tool identifies intermediate states in the state-space of the circuit design that are used to generate starting states for subsequent iterations of the process. The intermediate states help to restrict the scope of the state-space search to reduce the time and memory requirements needed to reach the target state. The model checking tool also explores the state-space in parallel from a subset of computed restart states, which reduces the possibility of bypassing any essential intermediate or target states.
展开▼