2

From high-level modeling toward efficient and trustworthy circuits
Fadi A. Zaraket, Mohamad Jaber, Mohamad A. Noureddine, Yliès Falcone
PDF Cite DOI
Model Checking Software with First Order Logic Specifications Using AIG Solvers
Mohammad A. Noureddine, Fadi A. Zaraket
Cite DOI