BWFSF algorithm partition synchronous sequential circuit to many big function blocks by backward width-first search with flip-flop as core.

• 面向逻辑级描述的同步时序电路 ；以触发器为核的电路划分算法BWFSF将电路划分为大功能块 .