系统级的验证方法学,采用e语言的高级验证方法