Formal Verification of Connections at SoC-level Author(s): Penny Yang, Prasun Das, Yuya Kao, and Mingchu Kuo Download