Marvell Semiconductor Israel Ltd.

Orna Grumberg

Daniel Geist

Sagi Katz

A method for verification includes providing an implementation model, which defines model states of a target system and model transitions between the model states, and providing a specification of the target system, including properties that the system is expected to obey. A tableau is created from the specification, the tableau defining tableau states with tableau transitions between the tableau states in accordance with the properties. The tableau transitions are compared to the model transitions to determine whether a discrepancy exists therebetween.

Growing community of inventors

Haifa, Israel

Orna Grumberg