On trellis-based truncated-memory detection