1. SystemC Model of Power Side-Channel Attacks Against AI Accelerators: Superstition or not?;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
2. Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
3. Intelligent and Dependable Decision-Making Under Uncertainty;Formal Methods;2023
4. Background;Formal Verification of Structurally Complex Multipliers;2023
5. Introduction;Formal Verification of Structurally Complex Multipliers;2022-12-20