Breaking an application specific instruction-set processor: the first step towards embedded software testing

In this paper methods to stop an Application Specific Instruction set Processor (ASIP) are proposed. Constructing the stop criteria for an ASIP on a combination of program counter - and data values is expensive,. and therefore a novel solution, in which the micro program is extended, is investigated. The cost of this extension is limited due to the relative small program size, and optimisations are proposed for even further reduction. Due to the flexible setup of the tool that generates the ASIP both the analysis data of the needed debug hardware and the generation of this hardware can be automated