Author:
Stoffel D.,Wedler M.,Warkentin P.,Kunz W.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Exhaustive Approach to Detecting Transient Execution Side Channels in RTL Designs of Processors;IEEE Transactions on Computers;2023-01-01
2. Equivalence Checking of Bounded Sequential Circuits Based on Gröbner Basis;2014 Seventh International Symposium on Computational Intelligence and Design;2014-12
3. Logic Restructuring Using Node Addition and Removal;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2012-02
4. Hardware-Verifikation;Digitale Hardware/Software-Systeme;2010
5. System level validation using formal techniques;IEE Proceedings - Computers and Digital Techniques;2005