Abdel Mokkedem

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Publications

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem
Accelerated verification of RTL assertions based on satisfiability solvers. HLDVT (2002)
Per Bjesse, Tim Leonard, Abdel Mokkedem
Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers. CAV (2001)
Abdel Mokkedem, Tim Leonard
Formal Verification of the Alpha 21364 Network Protocol. TPHOLs (2000)
Abdel Mokkedem, Ravi Hosabettu, Michael D. Jones, Ganesh Gopalakrishnan
Formalization and Analysis of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. Formal Methods Syst. Des. 16 (1) (2000)