公开(公告)号：US20240104268A1

公开(公告)日：2024-03-28

申请号：US18256552

申请日：2021-11-16

Applicant: WASEDA UNIVERSITY

Inventor： Nozomu TOGAWA ,  Masashi TAWADA ,  Daisuke OKU ,  Shu TANAKA

IPC: G06F30/23

CPC classification number: G06F30/23 ,  G06F2119/06

Abstract: A calculation method reduces a bit-width of an Ising model, the Ising model being expressed in terms of a plurality of spins, interaction coefficients between the plurality of spins, and external magnetic field coefficients acting respectively on the plurality of spins. The calculation method includes: adding an auxiliary spin to the Ising model; and setting a new interaction coefficient between the auxiliary spin and at least one of the plurality of spins to obtain a new Ising model, thereby reducing a bit-width of at least one of the interaction coefficients between the plurality of spins and the external magnetic field coefficients acting respectively on the plurality of spins.

公开(公告)号：US20230252192A1

公开(公告)日：2023-08-10

申请号：US18003275

申请日：2021-06-23

Applicant: TOSHIBA INFORMATION SYSTEMS (JAPAN) CORPORATION ,  Waseda University

Inventor： Shinichi NAGATA ,  Koji TAKAHASHI ,  Nozomu TOGAWA ,  Masaru OYA

IPC: G06F21/71 ,  G06F30/327

CPC classification number: G06F21/71 ,  G06F30/327

Abstract: A hardware trojan detection method is provided including an input and output updating step of updating input and output values of all logic cells by performing computations according to logical expressions of all logic cells included in a netlist to be verified and a detection step of performing hardware trojan detection based on a comparison result of the updated input and output values and a threshold.