基于avalon的验证框架