Aldec CDC Rule Library (VHDL and Verilog)Category : Design Rule CheckingLanguage-independent rules for CDC and RDC verification aimed to avoid metastability issues in complex designs.