From high-level modeling toward efficient and trustworthy circuits

Fadi A. Zaraket, Mohamad Jaber, Mohamad Noureddine, Yliès Falcone. From high-level modeling toward efficient and trustworthy circuits. STTT, 21(2):143-163, 2019. [doi]

Abstract

Abstract is missing.