The new keywords, priority and unique are part of the SystemVerilog language, not just comment-style directives, which means that simulation, synthesis and formal tools can all recognize and consistently implement proper cross-tool functionality and testing for RTL code written with these new ...