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