mock-array: report error if all pins are not in .vcd for read_vcd

Signed-off-by: Øyvind Harboe <[email protected]>

Author: oharboe

flow/designs/asap7/mock-array/power.tcl

@@ -21,7 +21,48 @@ for {set x 0} {$x < 8} {incr x} {
 }
 
 log_cmd report_power
-log_cmd read_vcd -scope TOP/MockArray $::env(RESULTS_DIR)/MockArrayTestbench.vcd
+
+set vcd_file $::env(RESULTS_DIR)/MockArrayTestbench.vcd
+log_cmd read_vcd -scope TOP/MockArray $vcd_file
+
+puts "Total number of pins to be annotated: [llength [get_pins -hierarchical *]]"
+set no_vcd_activity {}
+set pins [get_pins -hierarchical *]
+foreach pin $pins {
+  set activity [get_property $pin activity]
+  set activity_origin [lindex $activity 2]
+  if {$activity_origin == "vcd"} {
+    continue
+  }
+  if {$activity_origin == "constant"} {
+    continue
+  }
+  if {$activity_origin == "unknown"} {
+    continue
+  }
+  if {[get_property $pin is_hierarchical]} {
+    continue
+  }
+  if {$activity_origin == "clock"} {
+    continue
+  }
+  set direction [get_property $pin direction]
+  if {$direction == "internal"} {
+    continue
+  }
+  lappend no_vcd_activity "[get_full_name $pin] $activity $direction"
+  if {[llength $no_vcd_activity] >= 10} {
+    break
+  }
+}
+
+if {[llength $no_vcd_activity] > 0} {
+  puts "Error: Listing [llength $no_vcd_activity] pins without activity from $vcd_file:"
+  foreach pin $no_vcd_activity {
+    puts $pin
+  }
+  exit 1
+}
 
 set ces {}
 for {set x 0} {$x < 8} {incr x} {