The long and increasing test application time for modular core-based system-on-chips is a major problem, and many approaches have been developed to deal with the problem. Different from previous approaches, where it is assumed that all tests will be performed until completion, we consider the cases where the test process is terminated as soon as a defect is detected. Such abort-on-fail testing ...

Consider a public boolean function f : (X, Y ) → {0, 1} where X and Y are private inputs polynomial size. Let Mf be the matrix truth table of f . A protocol for securely computing f is a protocol between two parties Alice and Bob where Alice chooses x ∈ X and Bob chooses y ∈ Y , such that at the end each party knows f(x, y) but gains no more information about the other’s input. Such protocols h...

There has been a major emphasis recently in the semiconductor industry on designing industrial-strength property specification languages. Two major languages are ForSpec and Sugar 2.0, which are both extensions of Pnueli’s LTL. Both ForSpec and Sugar 2.0 directly support reset/abort signals, in which a check for a property ψ may be terminated and declared successful by a reset/abort signal, pro...

The RHIC Beam Abort Kicker Power Supply Systems commissioning experience and the remaining issues will be reported in this paper. The RHIC Blue Ring Beam Abort Kicker Power Supply System initial commissioning took place in June 1999. Its identical system in Yellow Ring was brought on line during Spring 2000. Each of the RHIC Beam Abort Kicker Power Supply Systems consists of five high voltage m...