Aldec CDC Rule Library (VHDL and Verilog)Category : デザイン・ルール・チェックLanguage-independent rules for CDC and RDC verification aimed to avoid metastability issues in complex designs.