Initial dft_tag implementation

This is still missing a mode to rewrite $overwrite_tag and $original_tag by injecting $set_tag and $get_tag in the right places. It's also missing bit-precise propagation models for shifts and arithmetic and requires the design to be flattened.
YosysHQ · Aug 25, 2023 · 89f1f4e · 89f1f4e
1 parent e96efe7
commit 89f1f4e
Show file tree

Hide file tree

Showing 3 changed files with 948 additions and 3 deletions.
diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc
@@ -46,3 +46,4 @@ OBJS += passes/cmds/printattrs.o
 OBJS += passes/cmds/sta.o
 OBJS += passes/cmds/clean_zerowidth.o
 OBJS += passes/cmds/xprop.o
+OBJS += passes/cmds/dft_tag.o