US 12,265,772 B2
Integrated circuit with peek and poke protection circuitry for multi-tenant usage model
Scott Weber, Piedmont, CA (US); Sean R. Atsatt, Santa Cruz, CA (US); and David Goldman, Bala Cynwyd, PA (US)
Assigned to Altera Corporation, San Jose, CA (US)
Filed by Intel Corporation, Santa Clara, CA (US)
Filed on Jun. 27, 2022, as Appl. No. 17/850,560.
Application 17/850,560 is a division of application No. 15/719,413, filed on Sep. 28, 2017, granted, now 11,379,645.
Prior Publication US 2022/0327271 A1, Oct. 13, 2022
Int. Cl. G06F 30/34 (2020.01); G06F 111/04 (2020.01)
CPC G06F 30/34 (2020.01) [G06F 2111/04 (2020.01)] 20 Claims
OG exemplary drawing
 
1. An article of manufacture comprising one or more tangible, non-transitory, machine-readable media comprising instructions that, when executed by one or more processors, cause the one or more processors to:
obtain a circuit design for an integrated circuit, wherein a first portion of the circuit design is associated with a first party in a multi-tenant system, wherein a second portion of the circuit design is associated with a second party in the multi-tenant system, and wherein the second party is different than the first party;
generate a satisfiability clause comprising a Boolean constraint indicating configuration settings that prevent peek attacks between the first and second parties in the multi-tenant system;
solve the satisfiability clause to generate a corresponding promise-not-to-peek configuration in accordance with the configuration settings of the Boolean constraint;
determine whether a bit stream associated with the first party violates the promise-not-to-peek configuration; and
in response to determining that the bit stream does not violate the promise-not-to-peek configuration, sign the bit stream before the bit stream is loaded onto the integrated circuit.