Improving Datapath Testability by Modifying Controller Specification. Issue 2 (2002)