Aldec SystemVerilog Rule LibraryCategory : デザイン・ルール・チェックRules for SystemVerilog RTL design subset that cover new varieties of harmful RTL defects related to new language constructs.