Samsung Electronics Co., Ltd.

James Longino

Bonnie Collett Sexton

Mrinal Bose

Laxmi Narayana Yakkala

A method for minimizing a test set for optimal coverage is disclosed. The method includes generating a first test set which is both an empty and minimal test set. Then, generating a second test set with a predetermined number of tests. Further, partitioning the second test set into a control test set and an experiment test set. Subsequently, providing a list of tests for coverage by merging the control test set with the first test set to form a merged list of sets.

Method and apparatus for obtaining a maximally compressed verification test set

Apparatuses and methods of manufacturing same, systems, and methods for performing recursive operations using a partial remainder-divisor (PD) table are described. In one aspect, it is determined whether a current cell in the PD table indicated by a current partial remainder/radicand row value and a current divisor/root column value is outside a primary region of the PD table. If the current cell is outside the primary region of the PD table, at least one of the current partial remainder/radicand row value and the current divisor/root column value are adjusted so that the indicated current cell falls within the primary region of the PD table.

Radix 16 PD table implemented with a radix 4 PD table

Apparatuses and methods of manufacturing same, systems, and methods for generating a starting estimate for radix-16 square root iterative calculation using hardware, including a radix-4 partial remainder-divisor (PD) table, which is used for both division and square root operations, are described. In one aspect, a part of a radicand for a radix-16 square root iterative operation is used to determine column/root and row/partial radicand values, which are then used to determine a starting estimate from a radix-4 PD table for the radix-16 square root iterative operation.

Growing community of inventors

Austin, TX, United States of America

James Longino