VLDB 2026 Research / reviewers in the wild / expert
Ahmad A. Al-Yamani
dblp:45/3706
· DBLP profile ↗
15ranked-venue papers
11as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 14 · 10 first-authorArtificial intelligence and machine learning · 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
4 papers |
Electronic design automation · 100% |
Topics — the 12 heaviest of 12, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.1 | 2 | 2007 | Scan Test Cost and Power Reduction Through Systematic Scan Reconfiguration · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007 Optimized reseeding by seed ordering and encoding · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2005 |
Electronic design automation
hardware test |
0.1 | 2 | 2006 | DFT for controlled-impedance I/O buffers · DAC 2006 Seed encoding with LFSRs and cellular automata · DAC 2003 |
Electronic design automation › hardware verification and test › design for testability › built-in self-test
reseeding |
0.1 | 2 | 2005 | Optimized reseeding by seed ordering and encoding · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2005 Seed encoding with LFSRs and cellular automata · DAC 2003 |
Electronic design automation › hardware verification and test
test generation |
0.1 | 2 | 2005 | Optimized reseeding by seed ordering and encoding · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2005 Seed encoding with LFSRs and cellular automata · DAC 2003 |
Electronic design automation › hardware verification and test › design for testability
scan-based testing |
0.1 | 2 | 2007 | Scan Test Cost and Power Reduction Through Systematic Scan Reconfiguration · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007 Optimized reseeding by seed ordering and encoding · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2005 |
Electronic design automation › hardware verification and test
test application time reduction |
0.1 | 1 | 2007 | Scan Test Cost and Power Reduction Through Systematic Scan Reconfiguration · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007 |
Electronic design automation › hardware verification and test
test data compression |
0.1 | 1 | 2007 | Scan Test Cost and Power Reduction Through Systematic Scan Reconfiguration · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007 |
Electronic design automation › hardware verification and test › low-power testing
test power reduction |
0.1 | 1 | 2007 | Scan Test Cost and Power Reduction Through Systematic Scan Reconfiguration · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2007 |
Electronic design automation › hardware verification and test
delay fault testing |
0.1 | 1 | 2006 | DFT for controlled-impedance I/O buffers · DAC 2006 |
Electronic design automation › hardware verification and test
design for testability |
0.1 | 1 | 2006 | DFT for controlled-impedance I/O buffers · DAC 2006 |
Electronic design automation › hardware verification and test › design for testability
built-in self-test |
0.1 | 1 | 2005 | Optimized reseeding by seed ordering and encoding · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2005 |
Electronic design automation › hardware verification and test › random testing
pseudorandom testing |
0.0 | 1 | 2003 | Seed encoding with LFSRs and cellular automata · DAC 2003 |
Methods — techniques the papers use, named apart from their topics
systematic scan reconfiguration · 0.1segmented addressable scan · 0.1fault simulation · 0.1linear feedback shift register · 0.0cellular automata · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Test Set Compression Through Alternation Between Deterministic and Pseudorandom Test Patterns
Ahmad A. Al-Yamani, Edward J. McCluskey |
J. Electron. Test. | 1 |
| 2007 | Systematic Scan ReconfigurationabstractWe present a new test data compression technique that achieves 10times to 40times compression ratios without requiring any information from the ATPG tool about the unspecified bits. The technique is applied to both single-stuck as well as transition fault test sets. The technique allows aggressive parallelization of scan chains leading to similar reduction in test time. It also reduces tester pins requirements by similar ratios. The technique is implemented using a hardware overhead of a few gates per scan chain. Ahmad A. Al-Yamani, Narendra Devta-Prasanna, Arun Gunda |
ASP-DAC | 1 |
| 2007 | A Reconfigurable Broadcast Scan Compression Scheme Using Relaxation Based Test Vector DecomposabstractAn effective reconfigurable broadcast scan compression scheme that employs test set partitioning and relaxation-based test vector decomposition is proposed. Given a constraint on the number of tester channels, the technique classifies the test set into acceptable and bottleneck vectors. The bottleneck vectors are then decomposed into a set of vectors that meet the given constraint. The acceptable and decomposed test vectors are partitioned into the smallest number of partitions while satisfying the tester channels constraint to reduce the decompressor area. Thus, the technique by construction satisfies a given tester channels constraint at the expense of increased test vector count and number of partitions, offering a tradeoff between test compression, test application time and test decompression circuitry area. Experimental results demonstrate that the proposed technique achieves better compression ratios compared to other test compression techniques. Aiman H. El-Maleh, Mustafa Imran Ali, Ahmad A. Al-Yamani |
ATS | 3 |
| 2007 | Scan Test Cost and Power Reduction Through Systematic Scan ReconfigurationabstractThis paper presents segmented addressable scan (SAS), a test architecture that addresses test data volume, test application time, test power consumption, and tester channel requirements using a hardware overhead of a few gates per scan chain. Using SAS, this paper also presents systematic scan reconfiguration, a test data compression algorithm that is applied to achieve 10× to 40× compression ratios without requiring any information from the automatic-test-pattern-generation tool about the unspecified bits. The architecture and the algorithm were applied to both single stuck as well as transition fault test sets. Ahmad A. Al-Yamani, Narendra Devta-Prasanna, Erik Chmelar, M. Grinchuk, Arun Gunda |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2006 | DFT for controlled-impedance I/O buffersabstractThis paper presents an architecture that enhances the testability of controlled-impedance buffers (CIBs). By testing CIBs digitally, the new architecture overcomes most of the problems with the traditional testing method. Most of these problems are test cost related. While reducing the test cost, the new architecture allows for higher test quality that even includes delay testing capabilities. Ahmad A. Al-Yamani |
DAC | 1 |
| 2005 | Segmented Addressable Scan ArchitectureabstractThis paper presents a test architecture that addresses multiple problems faced in digital IC testing. These problems are test data volume, test application time, test power consumption, and tester channel requirements. With minimal hardware overhead, the architecture provides at least an order of magnitude reduction to each of the above problems. The architecture relies on scan chain segmentation and multiple-hot decoders. Ahmad A. Al-Yamani, Erik Chmelar, Mikhail Grinchuck |
VTS | 1 |
| 2005 | Effective TARO Pattern GenerationabstractTARO test patterns are transition fault test patterns that sensitize each transition fault to all of the outputs that can be reached from the fault location. We were not able to identify any ATPG tool that can generate TARO test patterns directly. This paper describes a technique to use an existing transition fault ATPG tool to efficiently generate TARO test patterns. This technique was used to generate TARO patterns for the ELF35 test chip. When these patterns were applied to the ELF35 chips, all of the defective chips were discovered (no test escapes). Intaik Park, Ahmad A. Al-Yamani, Edward J. McCluskey |
VTS | 2 |
| 2005 | Optimized reseeding by seed ordering and encodingabstractMixed-mode logic built-in self-test (BIST) applies both pseudorandom test patterns and deterministic test patterns [from an automatic test pattern generation (ATPG) tool] to the combinational portion of the circuit under test. Each scan-test cycle consists of: 1) shifting a test pattern into the scan chains; 2) capturing the response to that pattern; and 3) shifting the captured response out of the scan chains. The shifting of the test pattern out of the scan chains is overlapped with shifting in the next test pattern. The pattern shifted into the scan chains comes from the output of the pseudorandom pattern generator (PRPG); this pattern is determined by the initial state or seed of the PRPG (the contents of the PRPG at the beginning of the shifting operation). In a pseudorandom cycle, the initial state is the final state (last PRPG contents) from the previous cycle. The initial state of a deterministic cycle is shifted into the PRPG either from an a tester or from an on-chip BIST controller. This paper describes techniques to minimize the number of deterministic seeds that must be used: the number of seeds determines the required storage either on the ATE or the chip being tested. These techniques interleave pseudorandom and deterministic cycles rather than first applying all of the pseudorandom cycles and then the deterministic cycles. The decision of when to change from a pseudorandom cycle to a deterministic cycle is made by comparing the final state of the pseudorandom cycle with previously generated ATPG patterns or by carrying out fault simulation on the final state. Which deterministic pattern is chosen for the deterministic cycle critically influences the remainder of the test. A methodology for doing this is described. In addition to interleaving test cycles, it is possible to use partial cycles in which the PRPG operates for a few clocks without loading the scan chains. This allows a new seed to be present without loading the seed from the ATE or controller. As might be suspected, this reduces the number of stored seeds at the penalty of more complexity in the control sequence. These techniques were simulated and compared with conventional reseeding for some ISCAS'89 benchmarks. Improvements varied between 25% and 85% in the required seed storage. Ahmad A. Al-Yamani, Subhasish Mitra, Edward J. McCluskey |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 1 |
| 2005 | Test chip experimental results on high-level structural testabstractUsing complex (high-level) gates, such as multiplexers, full adders, etc., for automatic test pattern generation (ATPG) has several advantages. It makes ATPG faster and potentially reduces the size of the test set that needs to be applied. A variety of other techniques are used to reduce the size of test sets for digital chips. They typically rely on preserving the single-stuck-fault coverage of the test set. This article presents data obtained from applying a variety of test sets on the ELF35 test chip and recording the test escapes. The data presented show the test quality effect of using complex gates as fault sites. The article also shows the impact of test compaction and reduced fault coverage on the test quality. Ahmad A. Al-Yamani, Edward J. McCluskey |
ACM Trans. Design Autom. Electr. Syst. | 1 |
| 2004 | ELF-Murphy Data on Defects and Test SetsabstractLSI logic has designed and manufactured two test chips at CRC. These test chips were used to investigate the characteristics of actual production defects and the effectiveness of various test techniques in detecting their presence. This paper presents a characterization of the defects that shows that very few defective chips act as if they had a single-stuck fault present and that most of the defects cause sequence-dependent behavior. A variety of techniques are used to reduce the size of test sets for digital chips. They typically rely on preserving the single-stuck-fault coverage of the test set. This strategy doesn't guarantee that the defect coverage is retained. This paper presents data obtained from applying a variety of test sets on two chips (Murphy and ELF35) and recording the test escapes. The reductions in test size can thus be compared with the increases in test escapes. The data shows that, even when the fault coverage is preserved, there is a penalty in test quality. Also presented is the data showing the effect of reducing the fault coverage. Techniques studied include various single-stuck-fault models including inserting faults at the inputs of complex gates such as adders, multiplexers, etc. This technique is compatible with the use of structural RTL netlists. Other techniques presented include compaction techniques and don't care bit assignment strategies. Edward J. McCluskey, Ahmad A. Al-Yamani, Chien-Mo James Li, Chao-Wen Tseng, Erik H. Volkerink, François-Fabien Ferhani, Edward Li, Subhasish Mitra |
VTS | 2 |
| 2003 | Seed encoding with LFSRs and cellular automataabstractReseeding is used to improve fault coverage of pseudo-random testing. The seed corresponds to the initial state of the PRPG before filling the scan chain. In this paper, we present a technique for encoding a given seed by the number of clock cycles that the PRPG needs to run to reach it. This encoding requires many fewer bits than the bits of the seed itself. The cost is the time to reach the intended seed. We reduce this cost using the degrees of freedom (due to don't cares in test patterns) in solving the equations for the seeds. We show results for implementing our technique completely in on-chip hardware and for applying it from a tester. Simulations show that with low hardware overhead, the technique provides 100% single-stuck fault coverage. Also, when compared with conventional reseeding from an external tester or on-chip ROM, the technique reduces seed storage by up to 85%. We show how to apply the technique for both LFSRs and CA. Ahmad A. Al-Yamani, Edward J. McCluskey |
DAC | 1 |
| 2003 | Built-In Reseeding for Serial BistabstractReseeding is used to improve fault coverage in BIST pseudo-random testing. Most of the work done on reseeding is based on storing the seeds in an external tester. Besides its high cost, testing using automatic test equipment (ATE) makes it hard to test the circuit while in the system. In this paper, we present a technique for built-in reseeding. Our technique requires no storage for the seeds. The seeds are encoded in hardware. The seeds we use are deterministic so 100% fault coverage can be achieved. Our technique causes no performance overhead and does not change the original circuit under test. Also, the technique we present is applicable for transition faults as well as single-stuck-at faults. Built-in reseeding is based on expanding every seed to as many ATPG patterns as possible. This is different from many existing reseeding techniques that expand every seed into a single ATPG pattern. This paper presents the built-in reseeding algorithm together with a hardware synthesis algorithm and implementation. Ahmad A. Al-Yamani, Edward J. McCluskey |
VTS | 1 |
| 2003 | Bist Reseeding with very few SeedsabstractReseeding is used to improve the fault coverage of pseudo-random testing. The seed corresponds to the initial state of the LFSR before filling the scan chain. The number of deterministic seeds required is directly proportional to the tester storage or hardware overhead requirement. In this paper, we present an algorithm for seed ordering to minimize the number of seeds required to cover a set of deterministic test patterns. Our technique is applicable whether seeds are loaded from the tester or encoded on chip. Simulations show that, when compared to random ordering, the technique reduces seed storage or hardware overhead by up to 80%. The seeds we use are deterministic so 100% SSF fault coverage can be achieved. Also, the technique we present is fault-model independent. Ahmad A. Al-Yamani, Subhasish Mitra, Edward J. McCluskey |
VTS | 1 |
| 2002 | HPTS: heterogeneous parallel tabu search for VLSI placementabstractParallelizing any algorithm on a cluster of heterogeneous workstations is not easy, as each workstation requires different wall clock time to execute the same instruction set. In this work, a parallel tabu search algorithm for heterogeneous workstations is presented using PVM. Two parallelization strategies, i.e., functional decomposition and multi-search thread strategies are integrated. The proposed algorithm is tested on the VLSI standard cell placement problem, however, the same algorithm can be used on any combinatorial optimization problem. The results are compared ignoring heterogeneity and are found to be superior in terms of execution time. Ahmad A. Al-Yamani, Sadiq M. Sait, Hassan R. Barada |
IEEE Congress on Evolutionary Computation | 1 |
| 2000 | A parallel tabu search algorithm for VLSI standard-cell placementabstractVLSI standard-cell placement is an NP-hard problem to which various heuristics have been applied. In this work, tabu search placement algorithm is parallelized on a network of workstations using PVM. The objective of the algorithm is to achieve the best possible solution in terms of interconnection length, overall area of the circuit, and critical path delay (circuit speed). Two parallelization strategies are integrated: functional decomposition strategy and multi-search threads strategy. In addition, domain decomposition strategy is implemented probabilistically. The performance of each strategy is observed and analyzed. Sadiq M. Sait, Habib Youssef, Hassan R. Barada, Ahmad A. Al-Yamani |
ISCAS | 4 |