synopsys数字验证计划用户手册

vcs的用户手册（官方），介绍了vcs的使用

synopsys lib format, 适合asic 开发人员

This document summarizes two classes of RTL coding guidelines for the synthesis of datapaths: • Guidelines that help achieve functional correctness and intended behavior of arithmetic expressions in RTL code. • Guidelines that help datapath synthesis to achieve best possible QoR (Quality of Results).

Synopsys DC workshop。DC练习文档。虽然比较老，但是实用。适合初学者。

DW_apb_gpio_databook的资源，用于Synopsys的coreConsultant仿真

比较系统的介绍了dc，值得深入学习，对于初学者可能难度大一些

ICC0906版本的user guide

Synopsys代码风格

Synopsys Commands Reference, dc