ModelSim Integrations

Your online reference for everything related to SystemC, the language for system-level design, high-level synthesis, modeling and verification. SystemC™ addresses the need for a system design and verification language that spans hardware and software. It is a language built in standard C++ by extending the language with the use of class libraries. The language is particularly suited to model system's partitioning, to evaluate and verify the assignment of blocks to either hardware or software implementations, and to architect and measure the interactions between and among functional blocks. Leading companies in the intellectual property (IP), electronic design automation (EDA), semiconductor, electronic systems, and embedded software industries currently use SystemC for architectural exploration, to deliver high-performance hardware blocks at various levels of abstraction and to develop virtual platforms for hardware/software co-design.

The Xilinx’s AI development platform for AI inference on Xilinx hardware platforms consists of optimized IP, tools, libraries, models, and example designs. It is designed with high efficiency and ease-of-use in mind, unleashing the full potential of AI acceleration on Xilinx FPGA and ACAP. Supports mainstream frameworks and the latest models capable of diverse deep learning tasks. Provides a comprehensive set of pre-optimized models that are ready to deploy on Xilinx devices. You can find the closest model and start re-training for your applications! Provides a powerful open source quantizer that supports pruned and unpruned model quantization, calibration, and fine tuning. The AI profiler provides layer by layer analysis to help with bottlenecks. The AI library offers open source high-level C++ and Python APIs for maximum portability from edge to cloud. Efficient and scalable IP cores can be customized to meet your needs of many different applications.

Precision offers vendor-independent FPGA synthesis. It provides best-in-class performance and area, high-reliability design capabilities, and tight links to simulation and formal equivalency checking. Precision's products are tightly integrated with Siemens' FormalPro LEC for equivalency checking and HDL Designer for design capture and design verification using ModelSim/Questa. Precision RTL, Siemens's entry-level FPGA synthesis product, offers best-in-class quality results with a vendor-independent FPGA synthesis solution. Many space and mil-aero applications require specialized FPGAs with built-in protection from SEEs. NanoXplore introduces new FPGAs targeting this market. Precision Synthesis, in close partnership with NanoXplore, is the first to offer full synthesis support for the NG-Ultra device. Precision has seamless integration with the NXmap P&R tool to complete the design flow from RTL to gates to bitstream generation.