A Systematic Formal Reuse Methodology: From Blocks to SoC Systems Author(s): Hao Chen, Yi Sun, Ang Li, and Dorry Cao Download