Combining system level modeling with assertion based verificationAnat DahanDaniel Geistet al.2005ISQED 2005