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