Wolfgang Roesner

Verification at RTL Using Separation of Design Concerns

Rouwaida Kanj, Fadi A. Zaraket, Maya H. Safieddine, 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.