有formality形式验证的样品例子吗

是数字IC设计初学者，想找个简单的样品进行formality形式验证的练习。谢谢谢谢~