EDBT 2026 Demo / reviewers in the wild / expert
W. Murray Jr.
dblp:302/8739
· DBLP profile ↗
1ranked-venue papers
0as first author
0since 2021 · last 1986
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1
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
1 paper |
Electronic design automation · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
hardware verification and test |
0.0 | 1 | 1986 | Use of the subscripted DALG in submodule testing with applications in cellular arrays · DAC 1986 |
Electronic design automation › hardware verification and test
test generation |
0.0 | 1 | 1986 | Use of the subscripted DALG in submodule testing with applications in cellular arrays · DAC 1986 |
Electronic design automation › hardware verification and test
testability analysis |
0.0 | 1 | 1986 | Use of the subscripted DALG in submodule testing with applications in cellular arrays · DAC 1986 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1986 | Use of the subscripted DALG in submodule testing with applications in cellular arraysabstractThis paper will introduce the concept of the Transparency cube in the extraction and testing of an embedded logic submodule. The algorithm presented can establish control of a submodule in a very small amount of CPU time, and it was found to perform extremely well when tested on cellular array topologies such as those which occur in systolic architectures. The program described detects if parts of a circuit are untestable and notifies the user as to where additional logic is necessary to make the circuit more transparent or testable. It also introduces controllability numbers for flexible signals (or subscripted D's) and a method by which an Exclusive Or gate (EXOR) is handled as a single gate in the controllability calculations. This is useful since controllability numbers do not represent well the difficulties encountered with reconvergent fanout. M. Ladjadj, John F. McDonald 0001, D.-H. Ho, W. Murray Jr. |
DAC | 4 |