|
2023
|
Invention
|
Verifying functional safety of an integrated circuit. A method for verifying functional safety of... |
|
2022
|
Invention
|
Verification techniques for embedded systems. A computer-implemented method of verifying an embed... |
|
|
Invention
|
System and method for formal fault propagation analysis. A system and method are disclosed for fo... |
|
2020
|
Invention
|
Method to perform hardware safety analysis without fault simulation. A safety analysis method is ... |
|
|
Invention
|
Method of checking equivalence between a first design comprising a shift register logic srl chain... |
|
|
Invention
|
Method, device, and system for controlling autonomous vehicles.
A method, a controller, and a sy... |
|
2019
|
Invention
|
Audio data augmentation for machine learning object classification.
This application discloses a... |
|
2018
|
Invention
|
Service degradation in an autonomous driving system.
This application discloses degradation of a... |
|
|
Invention
|
Environmental perception in autonomous driving using captured audio. This application discloses s... |
|
|
Invention
|
System and method for formal fault propagation analysis. A system and method for formulating a se... |
|
|
Invention
|
Self-diagnosis of faults in an autonomous driving system. This application discloses a computing ... |
|
|
Invention
|
Self-diagnosis of faults with a secondary system in an autonomous driving system. This applicatio... |
|
|
Invention
|
Training of machine learning sensor data classification system. This application discloses traini... |
|
|
Invention
|
Embedded automotive perception with machine learning classification of sensor data.
This applica... |
|
2017
|
Invention
|
Electrical energy management of a vehicle system of a motor vehicle. A device for electrical ener... |
|
|
Invention
|
Low-energy operation of motor vehicle functions during the operation of the motor vehicle. A meth... |
|
|
Invention
|
Method of selecting a prover. A computer implemented method of selecting a prover among a plurali... |
|
|
Invention
|
Map building with sensor measurements. This application discloses a computing system to implement... |
|
|
Invention
|
Sensor event detection and fusion. This application discloses a computing system to implement sen... |
|
|
Invention
|
Vehicle localization with map-matched sensor measurements. This application discloses a computing... |
|
|
Invention
|
Event classification and object tracking. This application discloses a computing system to implem... |
|
|
Invention
|
Pre-tracking sensor event detection and fusion.
This application discloses a computing system to... |
|
2016
|
Invention
|
Low-level sensor fusion. This application discloses a computing system to implement low-level sen... |
|
|
Invention
|
Event-driven region of interest management. This application discloses a computing system to impl... |
|
|
Invention
|
Object recognition and classification using multiple sensor modalities. Object recognition and cl... |
|
|
Invention
|
Sensor modification based on an annotated environmental model. Systems, methods, and computer-rea... |
|
|
Invention
|
Video inspection system with augmented display content. This application discloses a video inspec... |
|
2014
|
Invention
|
Device for monitoring the proper functioning of a transmission path, particularly of a camera. Th... |
|
|
Invention
|
Cloud-basd digital verification system and method. A method for formal verification of a digital ... |
|
|
Invention
|
Digital circuit verification monitor. A method, a system and a computer readable medium for provi... |
|
2009
|
Invention
|
Method for determining the quality of a quantity of properties, to be employed for verifying and ... |
|
2008
|
Invention
|
Equivalence verification between transaction level models and rtl at the example to processors. A... |
|
2007
|
Invention
|
System and method for verification and generation of timing exceptions. The invention relates to ... |
|
2006
|
Invention
|
Method for the determination of the quality of a set of properties, usable for the verification a... |
|
|
G/S
|
Computer hardware and software for processing data; computer hardware and computer software for u... |
|
|
G/S
|
Scientific, measuring, signalling, and checking
(supervision) apparatus and instruments; apparat... |
|
|
G/S
|
Computer hardware and software for conducting, switching, transforming, accumlating, regulating o... |
|
|
G/S
|
Scientific, measuring, signalling, and checking (supervision) apparatus and instruments; apparatu... |
|
2005
|
G/S
|
Computer hardware and software for conducting, switching, transforming, accumulating, regulating ... |
|
|
Invention
|
Method and apparatus for locating circuit deviations. A system and method for locating circuit de... |
|
2004
|
Invention
|
Method and device for circuit verification. When designing digital circuits, the specification of... |
|
2003
|
Invention
|
Method and apparatus for determining the minimum or maximum switching activity of a digital circu... |
|
|
Invention
|
Method and device for verifying digital circuits. For the verification of digital circuits, which... |
|
2002
|
Invention
|
Method and apparatus for verification of digital arithmetic circuits by means of an equivalence c... |
