Verification methodology manual : using properties in design coverage /
Dempster, David,1946-
Yateley : Teamwork International,
c2003.