spec_patterns.v 3.64 KB