SoC interconnection protection through formal verification
He, Jiaji, Guo, Xiaolong, Meade, Travis, Dutta, Raj Gautam, Zhao, Yiqiang, Jin, YierLanguage:
english
Journal:
Integration
DOI:
10.1016/j.vlsi.2018.09.007
Date:
October, 2018
File:
PDF, 965 KB
english, 2018