Go Back
By Industry
By Technology
Synopsys Cloud
Synopsys Cloud

Cloud native EDA tools & pre-optimized hardware platforms

Request a Free Evaluation →
Multi-Die System Solution
Multi-Die System Solution

A comprehensive solution for fast heterogeneous integration

Discover Multi-Die →
View All Solutions →
Explore Silicon Design, Verification & Manufacturing

Synopsys is a leading provider of electronic design automation solutions and services.

Families
Optical Design
Photonic Design
Design
3D Image Processing
Verification
Modeling & Simulation
Manufacturing
Try Synopsys Cloud
Synopsys Cloud

Unlimited access to EDA software licenses on-demand

Free Evaluation →
Explore Silicon IP

Synopsys is a leading provider of high-quality, silicon-proven semiconductor IP solutions for SoC designs.

Interface IP
Processor IP
Analog IP
Memories & Libraries
SoC Architecture
Security IP
SoC Infrastructure IP
IP Accelerated
IP Markets
Synopsys IP Portfolio Cover
Synopsys IP Portfolio
Download Brochure →
Synopsys IP Technical Bulletin
Read Latest Issue →
Explore Application Security

Synopsys helps you protect your bottom line by building trust in your software—at the speed your business demands.

Integrated AppSec Solutions
Software Risk Analysis
AppSec Program Services
Gain insight into the security and risk landscape of open source development and use.
Gain insight into the security and risk landscape of open source development and use.
Preview the report →
View All Products →
Company Overview
Resources
SNUG 2023 | Synopsys
SNUG 2023

Synopsys User Group Conference

Learn more →
Synopsys Job Search Thumbnail
Pursue Your Passion

Start Your Job Search

Apply Now →

Haldex

Haldex: Validation of Brake Assist System for Trucks

Silver and TestWeaver have been used to investigate the fault tolerance of a brake assist system for heavy trucks. Key features:

  • test of brake system software with TestWeaver
  • cosimulation of Dymola and Simulink with Silver
  • thousands of drive maneuvers generated and classified

The study has been jointly conducted by QTronic and Modelon for Swedish commercial vehicle specialist Haldex.

Download Paper

Gäfvert et al.: Simulation-Based Automated Verification of Safety-Critical Chassis-Control Systems. 9th International Symposium on Advanced Vehicle Control (AVEC2008), Kobe, Japan, 6. – 9.10.2008.