type bit is ('0', '1');  -- WKT:2
type integer is range <>;
subtype natural is integer range 0 to 2147483647;
type bit_vector is array (natural range <>) of bit;
type address_channel is record
  awaddr: bit_vector;
  awvalid: bit;
end record;
type t_if is record
  write_channel: address_channel;
end record;
subtype st_if_32 is t_if(write_channel(awaddr (31 downto 0)));
design
 package standard: 
 instance repro2: 
  signal s: st_if_32: #1-#33
  process P0: 
  process P1: 
Time is 0 fs
#1: '0' (0)
#2: '0' (0)
#3: '0' (0)
#4: '0' (0)
#5: '0' (0)
#6: '0' (0)
#7: '0' (0)
#8: '0' (0)
#9: '0' (0)
#10: '0' (0)
#11: '0' (0)
#12: '0' (0)
#13: '0' (0)
#14: '0' (0)
#15: '0' (0)
#16: '0' (0)
#17: '0' (0)
#18: '0' (0)
#19: '0' (0)
#20: '0' (0)
#21: '0' (0)
#22: '0' (0)
#23: '0' (0)
#24: '0' (0)
#25: '0' (0)
#26: '0' (0)
#27: '0' (0)
#28: '0' (0)
#29: '0' (0)
#30: '0' (0)
#31: '0' (0)
#32: '0' (0)
#33: '0' (0)
Time is 0 fs
#1: '0' (0)
#2: '0' (0)
#3: '0' (0)
#4: '0' (0)
#5: '0' (0)
#6: '0' (0)
#7: '0' (0)
#8: '0' (0)
#9: '0' (0)
#10: '0' (0)
#11: '0' (0)
#12: '0' (0)
#13: '0' (0)
#14: '0' (0)
#15: '0' (0)
#16: '0' (0)
#17: '0' (0)
#18: '0' (0)
#19: '0' (0)
#20: '1' (1)
#21: '0' (0)
#22: '0' (0)
#23: '0' (0)
#24: '0' (0)
#25: '0' (0)
#26: '0' (0)
#27: '0' (0)
#28: '0' (0)
#29: '0' (0)
#30: '0' (0)
#31: '0' (0)
#32: '0' (0)
#33: '0' (0)
Time is 1000000 fs
#1: '0' (0)
#2: '0' (0)
#3: '0' (0)
#4: '0' (0)
#5: '0' (0)
#6: '0' (0)
#7: '0' (0)
#8: '0' (0)
#9: '0' (0)
#10: '0' (0)
#11: '0' (0)
#12: '0' (0)
#13: '0' (0)
#14: '0' (0)
#15: '0' (0)
#16: '0' (0)
#17: '0' (0)
#18: '0' (0)
#19: '0' (0)
#20: '1' (1)
#21: '0' (0)
#22: '0' (0)
#23: '0' (0)
#24: '0' (0)
#25: '0' (0)
#26: '0' (0)
#27: '0' (0)
#28: '0' (0)
#29: '0' (0)
#30: '0' (0)
#31: '0' (0)
#32: '0' (0)
#33: '0' (0)
Time is 2000000 fs
#1: '0' (0)
#2: '0' (0)
#3: '0' (0)
#4: '1' (1)
#5: '0' (0)
#6: '0' (0)
#7: '0' (0)
#8: '0' (0)
#9: '0' (0)
#10: '0' (0)
#11: '0' (0)
#12: '0' (0)
#13: '0' (0)
#14: '0' (0)
#15: '0' (0)
#16: '0' (0)
#17: '1' (1)
#18: '1' (1)
#19: '1' (1)
#20: '1' (1)
#21: '1' (1)
#22: '1' (1)
#23: '1' (1)
#24: '1' (1)
#25: '1' (1)
#26: '1' (1)
#27: '1' (1)
#28: '1' (1)
#29: '1' (1)
#30: '1' (1)
#31: '1' (1)
#32: '1' (1)
#33: '0' (0)
Time is 3000000 fs
#1: '0' (0)
#2: '0' (0)
#3: '0' (0)
#4: '1' (1)
#5: '0' (0)
#6: '0' (0)
#7: '0' (0)
#8: '0' (0)
#9: '0' (0)
#10: '0' (0)
#11: '0' (0)
#12: '0' (0)
#13: '0' (0)
#14: '0' (0)
#15: '0' (0)
#16: '0' (0)
#17: '1' (1)
#18: '1' (1)
#19: '1' (1)
#20: '1' (1)
#21: '1' (1)
#22: '1' (1)
#23: '1' (1)
#24: '1' (1)
#25: '1' (1)
#26: '1' (1)
#27: '1' (1)
#28: '1' (1)
#29: '1' (1)
#30: '1' (1)
#31: '1' (1)
#32: '1' (1)
#33: '0' (0)
