Silicon Explorer II is an integrated verification and logic analysis tool. You can use this tool to debug your design.
You must have created a Probe file in order to use Silicon Explorer II.
You may start SE II with an out of date PROBE file, but Actel recommends that you re-run Designer to make it current.