当前位置:
X-MOL 学术
›
IEEE Trans. Comput.-Aided Design Integr. Circuits Syst.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Scalable Formal Verification Methodology for Data-Oblivious Hardware
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( IF 2.9 ) Pub Date : 2024-03-07 , DOI: 10.1109/tcad.2024.3374249 Lucas Deutschmann 1 , Johannes Müller 1 , Mohammad R. Fadiheh 2 , Dominik Stoffel 1 , Wolfgang Kunz 1
中文翻译:
适用于数据无关硬件的可扩展形式验证方法
更新日期:2024-03-07
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ( IF 2.9 ) Pub Date : 2024-03-07 , DOI: 10.1109/tcad.2024.3374249 Lucas Deutschmann 1 , Johannes Müller 1 , Mohammad R. Fadiheh 2 , Dominik Stoffel 1 , Wolfgang Kunz 1
Affiliation
中文翻译:
适用于数据无关硬件的可扩展形式验证方法