Verdi简介

3.1.1 Verdi的历史
相信做IC验证的朋友或多或少都使用过VCS和Verdi这两个工具，这两个工具目前都属于synopsys公司，但是Verdi的来源可谓一路坎坷。
Verdi最开始是由novas公司设计的，在2008年，被台湾的EDA厂家springsoft（源笙）收购了（我我最早使用Verdi的时候，是上海源笙提供培训）。在2012年，synopsys收购了spring soft公司，所以此时Verdi才正式属于synopsys。
联想一下，我们使用Verdi的时候会产生novas.rc和novas.conf这两个临时文件也就能够解释了。如果你再仔细观察，还会发现如果要dump fsdb文件（Verdi支持的非标准波形文件），那么在旧版本的VCS编译的时候，还必须加上-P参数指定Verdi的PLI接口，为什么这么麻烦，因为这两个软件本来就不是一家公司设计的。
这里要提一句，novas公司比较有意思，Verdi之前的版本叫Debussy，后来才更名为Verdi。大家都知道德彪西和威尔第是19世界的古典音乐大师，我猜novas的老板应该是个古典音乐迷，只是之前喜欢听德彪西，后来改成听威尔第了。

3.1.2 Verdi技术概述
Verdi®自动调试平台是一种用于调试数字电路设计的高级解决方案，可用于提高复杂的片上系统（SoC），ASIC和FPGA设计效率。传统的调试工具仅依靠结构信息和发挥工程师的个人能力从结构中推断出设计行为。 Verdi平台提供强大的技术，帮助工程师理解复杂和不熟悉的设计行为，自动化困难和繁琐的调试过程，统一各种复杂的设计环境，并推断设计的动态行为。
除了源代码浏览器的标准功能，原