The following link provides information for Reference Design RD1056, titled "Watch-dog Timer and Reset Generation with ProcessorPM". The link has the documentation and the source code for the design that is pre-programmed into the ProcessorPM. The zip file has the necessary stimulus file required for simulation.
Reference Design RD1056: Watch-dog Timer and Reset Generation with ProcessorPM