Aldec Premium Rule Library (VHDLおよびVerilog)Category : デザイン・ルール・チェックDual-language rule library driven by customer requests. It expands Aldec Basic library with more complex rules (such as design partitioning, FSM checks) and complements any other library.