Combining System Level Modeling with Assertion Based Verification. - Anat Dahan; Daniel Geist; Leonid Gluhovsky; Dmitry Pidan; Gil Shapir; Yaron Wolfsthal; Lyes Benalycherif; Romain Kamdem; Younes Lahbib (ISQED, 2005)

Structured Approach to Property Specification and Verification of HW IP. - Lyes Benalycherif; Anthony McIsaac; Neil Dunlop (IEEE International Workshop on Rapid System Prototyping, 2007)

A Semantic Condition for Data Independence and Applications in Hardware Verification. - Lyes Benalycherif; Anthony McIsaac (AVoCS, 2007)