Design and implement a set of constraints for the random instruction generator and debug agent