Skip to content

Commit 525e81a

Browse files
kroeningkroening
committed
Verilog: rename system-verilog-assertion to SVA
"SVA" is the commonly used acronym.
1 parent e684b79 commit 525e81a

16 files changed

+0
-0
lines changed

‎regression/verilog/system_verilog_assertion/initial1.desc renamed to ‎regression/verilog/SVA/initial1.desc

File renamed without changes.

‎regression/verilog/system_verilog_assertion/initial1.sv renamed to ‎regression/verilog/SVA/initial1.sv

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually1.desc renamed to ‎regression/verilog/SVA/s_eventually1.desc

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually1.sv renamed to ‎regression/verilog/SVA/s_eventually1.sv

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually2.desc renamed to ‎regression/verilog/SVA/s_eventually2.desc

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually2.sv renamed to ‎regression/verilog/SVA/s_eventually2.sv

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually3.desc renamed to ‎regression/verilog/SVA/s_eventually3.desc

File renamed without changes.

‎regression/verilog/system_verilog_assertion/s_eventually3.sv renamed to ‎regression/verilog/SVA/s_eventually3.sv

File renamed without changes.

‎regression/verilog/system_verilog_assertion/system_verilog_assertion1.desc renamed to ‎regression/verilog/SVA/system_verilog_assertion1.desc

File renamed without changes.

‎regression/verilog/system_verilog_assertion/system_verilog_assertion1.sv renamed to ‎regression/verilog/SVA/system_verilog_assertion1.sv

File renamed without changes.

0 commit comments

Comments
 (0)