Modern SoC designs can include 10s of millions of DFFs,Reset signals use valuable routing resources, making physical design more challenging,The current trend is to reset only a subset of registers,but manually selecting registers to reset can be challenging.

 Modern SoC designs use multiple power domains,Retention registers are added to ensure data integrity during sleep/low power mode.States are stored in retention registers during power down and States are restored when the block is powered up.Retention registers. Retention register selection is also painful work.

 RegOPT optimizes registers to reset / retain 2 ways:

Static formal analysis selects registers to not reset / retain assuming all possible initial states or reset of retention

Dynamic formal analysis analyzes real reset and restore sequences to further improve the results by applying software/firmware reset / power-up emulation






如需了解详细产品信息,请联系我们:This email address is being protected from spambots. You need JavaScript enabled to view it. 或者 +86 186 0211 1428