覆盖率文件
摘要：
使用工具URG（Unified Report Generator）产生html格式文件。 urg -dir dir1 [urg_option] -dbname merge 使用DVE的GUI界面。 dve -cov -dir <simv.vdb> 阅读全文
posted @ 2020-01-09 14:50 禾雨 阅读(315) 评论(0) 推荐(0) 编辑
2020年1月9日 #
makefile显示时间格式
摘要：
参考：http://blog.csdn.net/machinecat0898/article/details/7804988 原文： 编写Windows批处理时经常会需要使用到日期和时间作为文件名，所以是非常重要的。 如何获取日期呢? 格式： %date% 结果： 2012-07-31 如何获取时间 阅读全文
posted @ 2020-01-09 14:26 禾雨 阅读(1087) 评论(0) 推荐(0) 编辑