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