1
Hardware information flow security verification and vulnerability detection using Yosys
基于Yosys的硬件信息流安全验证与漏洞检测
No. 6, 2021 : 1865-1869
doi:10.19734/j.issn.1001-3695.2020.05.0193