ststemc作为IC验证语言,还是值得学习一下的,可以综合以及虚拟建模