An assertion-based verification methodology for system-level design. - Amir Masoud Gharehbaghi; Benyamin Hamdin Yaran; Shaahin Hessabi; Maziar Goudarzi (Comput. Electr. Eng., 2007)