Find Top SoC Solutions
for AI, Automotive, IoT, Security, Audio & Video...
You are here : design-reuse-embedded.com  > Verification Platform  > Simulation and Verification
Online Datasheet        Request More Info
All Silicon IP


The simulators implement various models of computation. Most of these models of computation can be viewed as a framework for component-based design, where the framework defines the interaction mechanism between the components.A Model of Computation gives an interaction mechanism for components to deal with concurrency and time. The utility of a model of computation stems from the modeling properties that apply to all similar models. For many models of computation these properties are derived through formal mathematics. Depending on the model of computation, the model may be deterministic, statically schedulable, or time safe. Because of its modeling properties, a model of computation represents a style of modeling that is useful in any circumstance where those properties are desirable. In other words, models of computation form design patterns of component interaction, in the same sense that Gamma and others. describe design patterns in object oriented languages. For a particular application, an appropriate model of computation does not impose unnecessary constraints, and at the same time is constrained enough to result in useful derived properties.

VisualSim consists of five major simulators

  • Digital The simulator maintains a Calendar Queue with sequences of events on a time line.
  • Digital Untimed The execution is statistical and determined prior to execution.
  • Continuous Time Simulator finds a fixed-point, i.e., a set of continuous-time functions that satisfy all the relations.
  • SystemC Embedded systems frequently contain components that are best modeled using differential equations
  • Finite State Machine Case statement in a graphical form defining sequential control logic.
Sysml The Systems Modelling Language (SysML) is a general purpose modeling language.


Except for the Finite State Machine, all other simulators implement their own scheduling between blocks and do not rely on threads. This capacity results in a highly efficient execution and enables VisualSim to have the fastest simulation technology. The FSM simulator is in a category by itself, as the components are not producers and consumers of data, but rather are states.

Block Diagram

Partner with us

Visit our new Partnership Portal for more information.

Submit your material

Submit hot news, product or article.

List your Products

Suppliers, list and add your products for free.

More about D&R Privacy Policy

© 2018 Design And Reuse

All Rights Reserved.

No portion of this site may be copied, retransmitted,
reposted, duplicated or otherwise used without the
express written permission of Design And Reuse.