Our Products


 

 

 

home.htmlProductsSupportEvaluateContact



Super-FinSim
Super-FinSim is the top of the line FinSim Verilog simulator. Ever since the first FinSim Verilog simulator has been sold in 1993, the FinSim Verilog simulators have introduced many new features that have become state of the art in Verilog simulation: mixed Compiled and Interpreted simulation, simulation Farm that allows one engineer to manage hundreds of simultaneous simulations, separate and incremental compilation, high performance save and restart, direct integration with C code without the need for PLI, etc.
Super FinSim supports the entire Verilog standard IEEE 1364-1995 and the features of IEEE 1364-2001, as listed in Support for Verilog 2001. It's support includes SDF, VCD, PLI, as well as excellent integration with other tools such as a tight integration via API (for better performance than PLI integration) with Debussy and Verdi debug environments from Novas Software, and excellent PLI integrations with Specman from Verisity and Vera from Synopsys for test benches, MMAV from Denali for memory models, Undertow from Veritools for debug environment, and others.
In the DA Solution Limited `96 benchmark, the predecessor of Super-FinSim, FinSim-ECS, was rated the fastest Verilog simulator. FinSim was rated the fastest PC-based Verilog simulator in the ASIC & EDA benchmark.
Super-FinSim runs on all popular platforms including Sun Solaris 32 and 64 bit, Linux 32 bit from all providers, Linux 64 bit from Madrake or SuSE, Windows NT/2000, Windows 95/98/ME, and XP.

FinSim Developer
FinSim Developer is an interpreted-only Verilog simulator. It supports the exact same features as Super FinSim with the exception of not providing compiled simulation and the absence of the ECS kernel for higher performance. In order to make Super FinSim behave exactly like FinSim Developer one must compile the verilog code using +fin_no_ecs -dsm int at the invocation of finvc (the Verilog compiler).

FinSimMath simulation
FinSimMath is an extension of Verilog for mathematical descriptions. FinSimMath supports: 1) changing formats (floating vs two's complement) and sizes of fields during the simulation based on a patent issued by the USPTO. 2) data containers of type real, cartesian and polar. 3) matrix operations (+, -, *, /, inversion, pseudo inversion, scalar product) 4) mixed scalar and matrix operations. 5) exception handling by providing an overflow signal associated to each variable precision data container. 6) numerous system tasks and functions as described in Chapter 8 of FinSim's User's Guide and as shown in the varous examples listed in finmath.html. 7) mixed FinSimMath and Verilog code in the same module and accross various modules. br>By bringing in the same language and the same simulation environment both the Mathematical level and the synthesizable Verilog RTL level of abstraction FinSimMath creates the possibility for increasing the productivity of designers implementing mathematical algorithms by a factor of over 1000, as was the case when Verilog and VHDL brought in the same language and same simualation environment the RTL and Gate levels of abstraction. One immediate advantage is that simulations can run over 1000 times faster by having them performed at the highest level (mathematical) where a 1 million point fft takes les than a second for most of the design and at the RTL for the smallest possible part, namely the part which is under inverstigation.

Math2RTL
Math2RTL translates FinSimMath descriptions into synthesizable, fully pipe-lined, Verilog RTL. Math2RTL requires a resource file in addition to the FinSimMath description in order to produce the synthesizable Verilog RTL. The resource file contains information about all resources used, such as adders, multipliers, etc. The information includes, type (real, cartesian, polar) format (floating or two's complement), sizes of fields, latency, operation to be performed, etc.
Based on an option, Math2RTL produces high level models for all the resources used in the Verilog RTL implementing the given FinSimMath description. The same option includes in the code generated for the controller display statements and three include files provided by the user: name_launch_sim.inc, name_prepare_sim.inc, and name_display_results.inc in order to facilitate the simulation of mixed mathematical and RTL descriptions for various combinations of resources.

FinCov
FinCov is a high performance behavioral line coverage tool. Due to its tight integration with the simulation kernel, FinCov has a far smaller overhead and runs much faster than other code coverage tools, which use the PLI interface. It supports merging coverage results from different simulation runs.


Site License
Site licenses are available.
For detailed information contact Alec Stanculescu at alec@fintronic.com.


Components and number of lines limitation
The component count is number of bi-directional switches + number of gates + number of
primitives + number of continuous assignments + number of processes (initial + always) + number of
module instantiations in the flattened design.

To find out the exact number of components please use the option -verbose when running the simulator:
TOP.sim  -verbose (for UNIX) or TOP.EXE -verbose (for Windows).

Each limited version also has a limit on the number of lines in the source code. The limit is 3 x
number of component limit, for example Super-FinSim 50K has a 50K component
limitation and a 150K lines of Verilog source code  limitation.


© Copyright 1999-2004, Fintronic USA, Inc.   All rights reserved.

 


Copyright 1999-2011, Fintronic USA, Inc.   All rights reserved.