ModelSimSiemens
|
Symbiotic EDA SuiteSymbiotic EDA
|
|||||
Related Products
|
||||||
About
ModelSim simulates behavioral, RTL, and gate-level code, delivering increased design quality and debug productivity with platform-independent compilation. Single kernel simulator technology enables transparent mixing of VHDL and Verilog in one design. ModelSim packs an unprecedented level of verification capabilities into a cost-effective HDL simulator and is ideally suited for the verification of small and medium-sized FPGA designs, especially designs with complex, mission-critical functionality. ModelSim’s advanced code coverage capabilities provide valuable metrics for systematic verification. Plus, ModelSim’s ease of use lowers the barriers to leveraging verification resources. All coverage information is stored in the highly efficient UCDB database. Coverage results can be viewed interactively, post-simulation, or after a merge of multiple simulation runs. An easy-to-use and unified environment provides FPGA designers with the advanced capabilities they need for debugging.
|
About
Find bugs early and raise the confidence in your design by using formal checks and formal properties. Apply formal early on in the design process wherever it makes sense for your application. Use formal cover traces to further your design understanding and answer hard questions about the design under test. Apply formal safety properties to produce shorter and more insightful traces than simulation could ever generate. Employ formal proofs to ensure correctness of your design, use mutation cover to gain confidence in your simulation-based verification strategy, and speed up writing of test cases by guiding the process with formal cover traces. Unbounded and bounded verification of safety properties. Reachability-check and bounds-detection for cover properties
|
|||||
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
Platforms Supported
Windows
Mac
Linux
Cloud
On-Premises
iPhone
iPad
Android
Chromebook
|
|||||
Audience
Designers and companies in search of a tool to increase the quality of their designs and enhance productivity
|
Audience
Anyone searching for a product design solution
|
|||||
Support
Phone Support
24/7 Live Support
Online
|
Support
Phone Support
24/7 Live Support
Online
|
|||||
API
Offers API
|
API
Offers API
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
No information available.
Free Version
Free Trial
|
Pricing
No information available.
Free Version
Free Trial
|
|||||
Reviews/
|
Reviews/
|
|||||
Training
Documentation
Webinars
Live Online
In Person
|
Training
Documentation
Webinars
Live Online
In Person
|
|||||
Company InformationSiemens
United States
eda.sw.siemens.com/en-US/ic/modelsim/
|
Company InformationSymbiotic EDA
Founded: 2018
Austria
www.symbioticeda.com/seda-suite
|
|||||
Alternatives |
Alternatives |
|||||
|
|
||||||
|
|
||||||
|
|
|
|||||
|
|
|
|||||
Categories |
Categories |
|||||
Integrations
Siemens Precision
SystemC
Xilinx
|
||||||
|
|
|