您好,欢迎来到筏尚旅游网。
搜索
您的当前位置:首页INFORMATION THEORETIC CACHING FOR DYNAMIC PROBLEM

INFORMATION THEORETIC CACHING FOR DYNAMIC PROBLEM

来源:筏尚旅游网
专利内容由知识产权出版社提供

专利名称: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

本站由北京市万商天勤律师事务所王兴未律师提供法律服务