Shopping cart

Shop

Sort by

View
Simulink Design Verifier Identify design errors, prove requirements compliance, and generate tests Simulink Design Verifier uses formal methods to identify…
Simulink Coverage Measure test coverage in models and generated code Simulink Coverage performs model and code coverage analysis that measures…
Simulink Check Verify compliance with style guidelines and modeling standards Simulink Check provides industry-recognized checks and metrics that identify standard…
Author, manage, and trace requirements to models, generated code, and test cases Simulink Requirements lets you author, analyze, and manage…
HDL Verifier Verify VHDL and Verilog using HDL simulators and FPGA-in-the-loop test benches HDL Verifier automatically generates test benches for…
HDL Coder Generate VHDL and Verilog code for FPGA and ASIC designs HDL Coder generates portable, synthesizable Verilog and VHDL…
Qualify code generation and verification tools for ISO 26262 and IEC 61508 certification IEC Certification Kit provides tool qualification artifacts,…
Qualify Simulink and Polyspace verification tools for DO-178 and DO-278 DO Qualification Kit provides documentation, test cases, and procedures that…
Generate C and C++ code optimized for embedded systems Embedded Coder generates readable, compact, and fast C and C++ code…
AUTOSAR Blockset Design and simulate AUTOSAR software AUTOSAR Blockset provides an AUTOSAR dictionary and blocks for developing Classic and Adaptive…
Fixed-Point Designer Model and optimize fixed-point and floating-point algorithms Fixed-Point Designer provides data types and tools for developing fixed-point and…
Simulink PLC Coder Generate IEC 61131-3 Structured Text and Ladder Diagrams for PLCs and PACs Simulink PLC Coder generates hardware-independent…