Kai Weber

City:

Boeblingen

Country:

Germany

Published Applications:

Last publication date:

2015-06-04

Top Assignees for applications by Kai Weber

The entities that hold a legal rights for patent applications filed by inventor Weber Kai:

Kai Weber from Boeblingen, DE has applied for patents for these inventions. The list has both pending applications and granted patents:

Data processing in a multiple processor system to maintain multiple processor cache memory access coherency

METHOD AND SYSTEM FOR OPTIMIZED AUTOMATED CASE-SPLITTING VIA CONSTRAINTS IN A SYMBOLIC SIMULATION FRAMEWORK

Method and System for Performing Functional Formal Verification of Logic Circuits

Leading-Zero Counter and Method to Count Leading Zeros

Method and system for performing functional verification of logic circuits

Method and system for optimized automated case-splitting via constraints in a symbolic simulation framework

InventorID:

1182741 ⎘