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

更多信息请下载全文后查看