The Transaction-Based Verification Methodology 基于事务级的验证方法简要介绍。