Simulator Configuration Guide for Synopsys Models

Simulator Configuration GuideChapter 7: Using QuickSim II with Synopsys ModelsEditing PropertiesAdding or changing the value of a JEDECFile, SCFFile, PCLFile, or MemoryFileproperty causes the simulator to read the file and initialize the model to the power-upstate. Select the following menu choices to change a property:Edit > Properties > Add, Edit > Properties > Change, and Edit > PropertiesChanging Timing ModesSmartModels support minimum, typical, and maximum timing modes. Unit-delay modeis not supported. Select the following menu choices to display the form for changing thetiming mode of specific model instances:Setup > Kernel > Change > Timing ModeYou can also use instance names to specify which instance to change.Constraint CheckingSelect the following menu choices to enable/disable the various timing constraint checks(for example, setup, hold):Setup > Kernel > Constraint Mode > ChangeTo enable constraint checking, select either “State Only” or “Messages” on the ChangeConstraint Mode form. To disable constraint checking, select “Off” on the ChangeConstraint Mode form.SmartModel Library Message FormatsSmartModels issue four different kinds of messages to provide relevant information tousers during simulations. These include:●●●●Error messagesWarning messagesTrace messagesNotesError messages can be generated by timing or usage checks. Warning messages, errormessages, and notes can all be generated by usage checks, depending on the situation.Hardware verification models also issue trace messages, if enabled.Error messages itemize selected information. For example, a setup time violation causesan error message that documents:●●Pin namePart (by instance), reference designator, and component nameOctober 6, 2003 Synopsys, Inc. 139