首页>
外国专利>
Synthesis of assertions from statements of power intent
Synthesis of assertions from statements of power intent
展开▼
机译:从权力意图陈述中总结断言
展开▼
页面导航
摘要
著录项
相似文献
摘要
A low power integrated circuit design verification method and tool for automatically synthesizing a set of low power assertions from statements of low power intent. The low power intent statements provide low power constraint information for an integrated circuit design. The low power assertions are automatically synthesized from the low power intent statements and may be used to monitor, check and verify power controller signals. The low power assertions may also be used to collect low power functional coverage data.
展开▼