Cadence Design Systems, Inc.

Vaibhav Mittal

Habeeb Farah

Andreas Tiemeyer

Aspects are directed to formal verification of computer instructions. A system may present, at a user interface, a first model including one or more instructions, the first model corresponding to a data structure that corresponds to the instructions in the first model, obtain, via the user interface and during a first traversal of the data structure, a first indication to modify to a predetermined value an unmodified parameter of an instruction among the instructions, and present, at the user interface in response to the indication to modify the unmodified parameter, a second indication of execution of one or more of the instructions in an order according to a second model that corresponds to the data structure and based on a modified parameter.

Growing community of inventors

Whitefield, India

Vaibhav Mittal