Epitome Epitome是国科大NutShell处理器的分支及复现，旨在进行多种基于Chisel语言框架及其他开源仿真综合工具的测试和形式化验证方法。 其中基于chisel的形式验证平台来自chiselFV