标准单元映射后的区域导向优化.pdf

《标准单元映射后的区域导向优化.pdf》由会员分享，可在线阅读，更多相关《标准单元映射后的区域导向优化.pdf（20页珍藏版）》请在三个皮匠报告上搜索。

1、Post-Mapping ResubstitutionFor Area-Oriented OptimizationASP-DAC 2025Authors:Andrea Costamagna(speaker)Alessandro Tempia Calvino Alan Mishchenko Giovanni De MicheliOutlineMotivation&BackgroundMethodExperimentsMotivation And BackgroundMotivation&BackgroundMethodExperiments1Logic Synthesis And Optimiz

2、ationTraditional approach:Optimize AIGMap to technologyAssumption:Minimizing the AIGsize correlates with reduced area after mapping 2Pitfalls Of The Traditional ApproachHigh-effort traditional optimizationIterative AIG optimizationMap each AIGEmpirical evidence:Anti-correlationNeed for technology aw

3、areness mem_ctrl log2 sin system_caes3Moving Optimization To The Mapped SpaceIdea:Can we optimize a circuit directly in the mapped space?4Technology Mapping 1Technology mapping:Perform covering using structural cutsBased on supergatesUses load-independent modelRemark covering is almost entirely base

4、d on structural information1 Chatterjee et al.Reducing structural bias in technology mapping,International Conference on Computer-Aided Design,ICCAD 20055Dependency Cuts 2Dependency cuts:Based on functional informationRepresentation-independent conceptMore general than structural cuts2 Hong et al.,“

5、Functional Dependency For Verification Reduction”,Computer Aided Verification,CAV 2004OutlineMotivation&BackgroundMethodExperiments6The Method In A NutshellMethodFind a dependency cutExtract the functionalityLook-up a database of supergatesRemarks:Non-structural cutsNon-local optimizationIn the mapp

6、ed space7Find Dependency CutsThe nodes in a cut contain enough information to resynthesize the target nodeStructural cuts:simple enumerationNon-structural cuts:problem mapped to a set-covering problemWindow-based:exhaustive simulationSimulation-based:signatures8Build A DatabaseZe