BWFSF algorithm partition synchronous sequential circuit to many big function blocks by backward width-first search with fli.

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