Computer architecture simulation using a register transfer language. - Thomas Pittman; Lester Bartel (MICRO, 1987)