spec_rules.v 17.2 KB