Lyes Benalycherif

A Semantic Condition for Data Independence and Applications in Hardware Verification

Anthony McIsaac, Lyes Benalycherif, 2009, Electron. Notes Theor. Comput. Sci..

Combining system level modeling with assertion based verification

Daniel Geist, Yaron Wolfsthal, Younes Lahbib, 2005, Sixth international symposium on quality electronic design (isqed'05).

Structured Approach to Property Specification and Verification of HW IP

Anthony McIsaac, Lyes Benalycherif, Neil Dunlop, 2007, 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP '07).