1、不使用临时文件保存det状态跟踪信息，直接使用内存。
2、为测试的他，增加设置det fault状态。
3、改vcb.h解决定义冲突问题。
4、为测试det，提供上升沿下降沿自动生成。