detailed

专利名称：DetailedPlacementwithSearchandRepair

发明人：,StevenTeig

申请号：US14581581

申请日：20141223

公开号：US2A1

公开日：20150806

专利内容由知识产权出版社提供

专利附图：

摘要：hodreceivesan

initialplacementanditerativelybuildstsofconstraintsforplacementofdifferent

groupsofcellsintheICdesignandusasatisfiabilitysolvertoresolveplacement

embodiments,theconstraintsincludemathematicalexpressionsthat

hodinsomeembodimentsconvertsthe

mathematicalexpressionsintoBooleanclausandndstheclaustoasatisfiability

embodiments,themethod

groupsveralcellsintheurdesignandveralsitesontheICfabricandusthe

isfiabilitysolver

hodthendynamically

buildsmoreconstraintsbadonthenewcellplacementandndstheconstraintsto

thesatisfiabilitysolver.

申请人：Tabula,Inc.

地址：SantaClaraCAUS

国籍：US

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