Logic locking and IC camouflaging are two promising techniques for thwarting an array of
supply chain threats. Logic locking can hide the design from the foundry as well as end …

SAT-swee** is a powerful method for simplifying logic networks. It consists of merging
gates that are proven equivalent (up to complementation) by running simulation and SAT …

To save the ever-increasing costs of maintaining an integrated circuit (IC) supply chain
facility, take advantage of cutting-edge technology nodes, and meet the market demand, the …

In today's globalized semiconductor supply chain, a consolidation of fabrication services and
their separation from design houses has been taking place. This separation has raised …

A system and method for SAT-swee** is disclosed. According to one embodiment, a
method includes determining gate classes by inputting simulation patterns to gates in an …

The goal of automated software verification is either to prove the safety or to find erroneous
behavior. To achieve this, verification techniques need to efficiently represent program …

Craig interpolation has been recently shown to be useful in a wide variety of problem
domains. One use is in strategy extraction for two player games, as described in our …