Bayerische Motoren Werke Aktiengesellschaft

Synopsys, Inc.

Harman Becker Automotive Systems Gmbh

Hans-Joerg Peter

Mohammad Homayoun Movahed-Ezazi

Mohamed Shaker Sarwary

Barsneya Chakrabarti

Stefan Baptist

Guillaume Plassan

Benjamin Quattelbaum

Michael Westphal

A system and method for translating route guidance between a navigation system and a navigation service when different versions of a map database are being used. The navigation service applies a version translation table to identify differences between the map databases and translates route guidance accordingly before it is communicated to the navigation system.

System and method for version-adaptive navigation services

Formal verification techniques are used to extract valid clock modes from a hardware description of the clock network. In one aspect, the clock network includes primary clocks and configuration signals as inputs, and also includes derived clocks within the clock network. The derived clocks are configurable for different clock modes according to the values of the configuration signals. A parametric liveness property checking is applied to the derived clocks, where the configuration signals are parameters for the parametric liveness property checking. The parametric liveness property checking infers which values of the configuration signals result in valid clock modes for the derived clocks.

Formal clock network analysis, visualization, verification and generation

Growing community of inventors

Munich, Germany

Hans-Joerg Peter