| 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
            
            
         | ||||||
|  |  | 
 
        