Loading [MathJax]/extensions/tex2jax.js

IEEE transactions on computer-aided design of integrated circuits and systems

1 - 2 out of 2Page size: 20
Order:

Publications

  1. 2024

  2. Published

    KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions

    Ostapyshyn, I., Serra, G., Thomas, T. M. & Lohmann, D., 6 Nov 2024, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43, 11, p. 3467-3478 12 p.

    Research output: Contribution to journal › Article › Research › peer review

  3. 2019

  4. Published

    Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams

    Zivkovic, C., Grimm, C., Olbrich, M., Scharf, O. & Barke, E., Oct 2019, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38, 10, p. 1785-1798 14 p., 8428606.

    Research output: Contribution to journal › Article › Research › peer review