专利名称:INFORMATION THEORETIC CACHING FOR
DYNAMIC PROBLEM GENERATION INCONSTRAINT SOLVING
发明人:Dhiraj Goswami,Ngai Ngai William Hung申请号:US13596776申请日:20120828
公开号:US20140067356A1公开日:20140306
专利附图:
摘要:Computer-implemented techniques are disclosed for verifying circuit designsusing dynamic problem generation. A device under test (DUT) is modeled as part of a
test bench where the test bench is a random process. A set of constraints is solved togenerate stimuli for the DUT. Problem generation is repeated numerous times
throughout a verification process with problems and sub-problems being generated andsolved. When a problem is solved, the problem structure can be stored in a cache. Thestorage can be based on entropy of variables used in the problem. The problem storagecache can be searched for previously stored problems which match a current problem. Byretrieving a problem structure from cache, the computational burden is reduced duringverification. Problems can be multi-phase problems with storage and retrieval ofproblem structures based on the phase level. Caching can be accomplished using aninformation theoretic approach.
申请人:Dhiraj Goswami,Ngai Ngai William Hung
地址:Wilsonville OR US,San Jose CA US
国籍:US,US
更多信息请下载全文后查看
因篇幅问题不能全部显示,请点此查看更多更全内容
Copyright © 2019- efsc.cn 版权所有 赣ICP备2024042792号-1
违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务