// BUG: Removed @posedge reset from senslist (sync vs async reset)