Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Mody Lempel

dblp:00/225 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
0since 2021 · last 1995
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 3 · 3 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
2 papers
Electronic design automation · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test › design for testability
built-in self-test
0.021995
Test embedding with discrete logarithms · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation
hardware verification and test
0.021995
Test embedding with discrete logarithms · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation › hardware verification and test
test generation
0.021995
Test embedding with discrete logarithms · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation › hardware verification and test
aliasing
0.011995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation › hardware verification and test › design for testability › built-in self-test
linear feedback shift register
0.011995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation › hardware verification and test
test response compaction
0.011995
Zero Aliasing for Modeled Faults · IEEE Trans. Computers 1995
Electronic design automation › hardware verification and test
fault coverage
0.011995
Test embedding with discrete logarithms · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1995

Methods — techniques the papers use, named apart from their topics

primitive polynomial selection · 0.0polynomial division · 0.0discrete logarithm · 0.0LFSR · 0.0
YearPublicationVenuePosition
1995 Zero Aliasing for Modeled Faults
abstract
When using built-in self-test (BIST) for testing VLSI circuits the circuit response to an input test sequence, which may consist of thousands to millions of bits, is compacted into a signature which consists of only tens of bits. Usually a linear feedback shift register (LFSR) is used for response compaction via polynomial division. The compacting function is a many-to-one function and as a result some erroneous responses may be mapped to the same signature as the good response. This is known as aliasing. In this paper we deal with the selection of a feedback polynomial for the compacting LFSR, such that an erroneous response resulting from any modeled fault is mapped to a signature that is different from that for the good response. Such LFSRs are called zero-aliasing LFSRs. Only zero-aliasing LFSRs with primitive or irreducible feedback polynomials are considered due to their suitability for BIST test pattern generation.>
Mody Lempel
IEEE Trans. Computers1
1995 Test embedding with discrete logarithms
abstract
When using Built-In Self Test (BIST) for testing VLSI circuits, a major concern is the generation of proper test patterns that detect the faults of interest. Usually a linear feedback shift register (LFSR) is used to generate test patterns. We first analyze the probability that an arbitrary pseudo-random test sequence of short length detects all faults. The term short is relative to the probability of detecting the fault having the fewest test patterns. We then show how to guide the search for an initial state (seed) for a LFSR with a given primitive feedback polynomial so that all the faults of interest are detected by a minimum length test sequence. Our algorithm is based on finding the location of test patterns in the sequence generated by this LPSR. This is accomplished using, the theory of discrete logarithms. We then select the shortest subsequence that includes test patterns for all the faults of interest, hence resulting in 100% fault coverage.>
Mody Lempel, Sandeep Gupta 0001, Melvin A. Breuer
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
1994 Test embedding with discrete logarithms
abstract
When using Built-In Self Test (BIST) for testing VLSI circuits, a major concern is the generation of proper test patterns that detect the faults of interest. Usually a linear feedback shift register (LFSR) is used to generate test patterns. In this paper the authors show how to select a feedback polynomial and an initial state (seed) for the LFSR so that all the faults of interest are detected by a minimum length test sequence. Minimality is per polynomial. The algorithm is based on finding the location of test patterns in the sequence generated by an LFSR with a specific feedback polynomial. This is based on the theory of discrete logarithms. The authors then select the shortest subsequence that includes test patterns for all the faults of interest, hence 100% fault coverage.>
Mody Lempel, Sandeep Gupta 0001, Melvin A. Breuer
VTS1
1994 An Algorithm for Finding a Shortest Vector in a Two-Dimensional Modular Lattice
Mody Lempel, Azaria Paz
Theor. Comput. Sci.1