See C Model in this guide for tips and instructions for using the provided C Model files to debug your design.