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