验证新手请教

oushuyun

请问各位大神，目前验证用的e语言、System C和System verilog各有什么优缺点，主流用的是哪种？哪种更适合用于功能验证和建模？谢谢。

kuolifeng

e 已是很久以前的语言, 很少人用
system C 适用於 algorithm 的驗証,
systemverilog 具 random constrain, coverage driven 功能, 是目前的主流.

oushuyun

回复 2# kuolifeng
谢谢这位大神，我现在在读研，才接触验证这块。导师的想法是在功能这一级进行IP核的验证，跟传统的做法可能不太一样，我的猜想他的意思是直接抽取IP核的功能点，在系统级和RTL级之间的功能级进行描述，SC偏于顶层系统事务级，SV貌似更偏于RTL（也不知道有没有理解透他的想法）。现在比较纠结的就是不知道用哪种语言来建立功能模型比较好，头疼啊，难不成还得自创一套验证语言和体系？大神能指导指导吗？

gaurson

回复 3# oushuyun


   在论坛里找关于验证方法学的资料学习，现在基本都是基于UVM来开发环境，当然不需要你去创建的，这个也是基于SV的。

oushuyun

回复 4# gaurson


    好的，谢谢。

simonhqz

搞环境的话推荐sv，要是建立仿真模型的话如果有用到很多数学公式还是用c吧

oushuyun

回复 6# simonhqz 谢谢，感觉现在自己要学的太多了，有点迷茫啊。