Mentor Graphics Corporation

Workday, Inc.

Calypto Design Systems, Inc.

Sameer Kapoor

Peter Pius Gutberlet

Bryan Darrell Bowyer

Andres Rafael Takach

Pankaj P Chauhan

Saurabh Jain

Gagandeep Singh

Maheshinder Goyal

Kunal Bindal

Sergei Winitzki

The present application discloses a method, system, and computer system for dynamically managing or distributing models across a plurality of shards. The method includes determining that a first model is to be added to a first shard of a plurality of shards, the first shard being determined based at least in part on a predetermined cost function, adding the first model to the first shard, and restarting the first shard. The first model is associated with a first tenant. The first shard comprises at least one second model that is associated with a second tenant.

Scaling machine learning using dynamic sharding

Disclosed herein are representative embodiments of methods, apparatus, and systems for performing formal verification of circuit descriptions. In certain example embodiments, the disclosed technology involves the formal verification of a register-transfer-level ('RTL') circuit description produced from a high level synthesis tool (e.g., a C++ or SystemC synthesis tool) relative to the original high level code from which the RTL description was synthesized (e.g., the original C++ or SystemC description) using sub-functional-call-level transactions.

Formal verification using microtransactions

Growing community of inventors

Milpitas, CA, United States of America

Sameer Kapoor