Examples and design pattern for VHDL verification
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 

6 lines
296 B

set signals [list]
lappend signals "top.osvvm_fsm_psl_coverage.s_reset_n"
lappend signals "top.osvvm_fsm_psl_coverage.s_clk"
lappend signals "top.osvvm_fsm_psl_coverage.s_fsm_state"
lappend signals "top.osvvm_fsm_psl_coverage.s_state_cover"
set num_added [ gtkwave::addSignalsFromList $signals ]