Compaq Computer Corporation, Inc.

Mark Alexander Shand

Andrei Z Broder

Michael David Mitzenmacher

Laurent Rene Moll

A method determines a random permutation of input lines that produced a permuted set of bits in a bitstream. In a source design, the method replaces a logic element whose input lines are permutable with a test function. The source design is processed by a design tool to generate the bitstream including the permuted set of bits. The test function is probed with test values, and the probe results are compared with the permuted set of bits to discover the permutation of the set of bits. The test values can include a message.

Method for determining a random permutation of variables by applying a test function

A resettable memory apparatus includes a random access memory including a plurality of memory locations, each memory location stores a plurality of bits of data. A single register has a plurality of bits, there is one bit for each of the plurality of memory locations. A reset signal resets all of the bits in the register to invalid. A reset value is generated when reading a particular one of the memory locations while the corresponding bit in the register is invalid to provide a resettable random access memory. Writing data to the particular memory location sets the corresponding bit in the register to valid. Subsequent reads to the location while produced the data stored therein as long as the corresponding bit in the register remains valid.

Growing community of inventors

Dampierre-en-Yvelines, France

Mark Alexander Shand