Loading [MathJax]/extensions/tex2jax.js

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

1 - 2 von 2Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2024

  2. Veröffentlicht

    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, S. 3467-3478 12 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. 2019

  4. Veröffentlicht

    Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams

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

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review