Analysis and specialisation of a PIC processor

The functionality of a classic PIC processor, commonly used in applications such as wearable computing, has been modelled as an emulator written in Prolog. The PIC emulator can be specialised using an online or offline partial evaluator, which are part of an analysis and specialisation toolset for logic programs developed in the ASAP project. The program is specialised with respect to a given program and given characteristic of environments such as regular patterns on communication channels. Analysis techniques can now be applied to the specialised emulator in an attempt to discover properties of the PIC program, such as constant or undefined register values, timing and synchronisation when connecting more than one PIC processor running concurrently and communicating - and detection of dead code and other forms of redundancy.