请教如何在DC综合后在modelsim中把.lib的库加进去做仿真呀？

cafszyl

你在target library里面寻找，有对应的verilog文件夹，里面的.v文件应该就是你要找的，记住，不是在DC的安装目录里面找。