In the text field below, write your RTL for HALT. Assume your instructions would go in place of the comment here:

 if (ir(15:12) == 0) { /* Your RTL for HALT would go here. */ /* ... */ }