Knowledge Center
Knowledge Center




A model is an abstraction of a device. Many models, such as those written in Verilog or VHDL, are executable. Being executable means that a tool, such as a simulator or emulator, can exercise the model and, when stimulated, produce results. Other models are not executable, but instead contain information that can be read by a tool, manipulated and written back. These models, such as a coverage model, may control a flow.

Most models associated with design are executable models. These can be at a number of abstractions including SPICE, transistor, RTL, or one of many ESL abstractions. An abstraction means that a certain aspect of a model is not deemed important for a particular kind of analysis.