Inventor

WEBER KAI

DE18 patents

⚠️ This page may combine multiple inventors who share the name “WEBER KAI”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

WEBER KAI

IBM

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

Method and system for formal verification of an electronic circuit design

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

Load register on condition immediate instruction

Load register on condition with zero or immediate instruction

Test case generation with backward propagation of predefined results and operand dependencies

Load register on condition immediate or immediate instruction

WIELAND WERKE AG

Copper-nickel-tin alloy, method for the production thereof and use thereof

Copper-nickel-tin alloy, method for the production and use thereof

Copper-nickel-tin alloy, method for the production and use thereof

Copper-nickel-tin alloy, method for the production and use thereof

Copper alloy containing tin, method for producing same, and use of same

Copper-nickel-tin alloy, method for the production and use thereof

LETZ STEFAN

Verifying a processor design using a processor simulation model

Verifying a processor design using a processor simulation model

Verifying a register-transfer level design of an execution unit

KRYGOWSKI CHRISTOPHER A

Firmware and hardware verification using Opcode comparison