SV: Refactor attribute handling

rems-project · Nov 26, 2024 · 30ee535 · 30ee535
1 parent caf3ebd
commit 30ee535
Show file tree

Hide file tree

Showing 4 changed files with 209 additions and 144 deletions.
diff --git a/src/sail_sv_backend/generate_primop2.ml b/src/sail_sv_backend/generate_primop2.ml
@@ -1,5 +1,5 @@
 (**************************************************************************)
-(*  Sail to verilog                                                       *)
+(*  Sail to SystemVerilog                                                 *)
 (*                                                                        *)
 (*  Copyright (c) 2023                                                    *)
 (*    Alasdair Armstrong                                                  *)