EDBT 2026 Demo / reviewers in the wild / expert
Robert J. Smith 0001
dblp:23/993
· DBLP profile ↗
18ranked-venue papers
4as first author
0since 2021 · last 1987
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 17 · 4 first-authorHuman-computer interaction and ubiquitous computing · 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
17 papers |
Electronic design automation · 86% Performance modeling and evaluation · 12% Parallel and multicore computing · 1% | |
| Software engineering, system software, and programming languages
1 paper |
Requirements engineering and software design · 100% |
Topics — the 29 heaviest of 32, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation
physical design |
0.0 | 8 | 1983 | Technology-independent circuit layout · DAC 1983 A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing · DAC 1981 Performance of interconnection rip-up and reroute strategies · DAC 1981 |
Electronic design automation › physical design
routing |
0.0 | 5 | 1981 | A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing · DAC 1981 Performance of interconnection rip-up and reroute strategies · DAC 1981 An implementation of a saturated zone multi-layer printed circuit board router · DAC 1980 |
Electronic design automation
logic synthesis |
0.0 | 4 | 1985 | The STE-264 accelerated electronic CAD system · DAC 1985 Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974 Generation of Design Equations in Asynchronous Sequential Circuits · IEEE Trans. Computers 1969 |
Electronic design automation › physical design › routing
multilayer routing |
0.0 | 3 | 1981 | A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing · DAC 1981 An implementation of a saturated zone multi-layer printed circuit board router · DAC 1980 A rectangle-probe router for multilayer P.C. boards · DAC 1977 |
Electronic design automation › physical design › routing
printed circuit board routing |
0.0 | 3 | 1981 | A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing · DAC 1981 An implementation of a saturated zone multi-layer printed circuit board router · DAC 1980 A rectangle-probe router for multilayer P.C. boards · DAC 1977 |
Performance modeling and evaluation › simulation
architectural simulation |
0.0 | 1 | 1987 | Faster Architectural Simulation Through Parallelism · DAC 1987 |
Performance modeling and evaluation
simulation |
0.0 | 1 | 1987 | Faster Architectural Simulation Through Parallelism · DAC 1987 |
Electronic design automation
design automation standards |
0.0 | 1 | 1986 | Computer aided (CA) tools integration and related standards development (panel session) · DAC 1986 |
Electronic design automation › CAD framework
design tool integration |
0.0 | 1 | 1986 | Computer aided (CA) tools integration and related standards development (panel session) · DAC 1986 |
Electronic design automation › hardware verification and test
hardware verification |
0.0 | 1 | 1986 | Fundamentals of parallel logic simulation · DAC 1986 |
Electronic design automation › hardware verification and test
logic simulation |
0.0 | 1 | 1986 | Fundamentals of parallel logic simulation · DAC 1986 |
Electronic design automation › hardware verification and test › logic simulation
parallel logic simulation |
0.0 | 1 | 1986 | Fundamentals of parallel logic simulation · DAC 1986 |
Electronic design automation › design for manufacturability
design rules |
0.0 | 1 | 1983 | Workshop - technology design rules for design automation · DAC 1983 |
Electronic design automation › physical design
layout optimization |
0.0 | 1 | 1981 | Verification and optimization for LSI & PCB layout · DAC 1981 |
Electronic design automation › physical design
layout verification |
0.0 | 1 | 1981 | Verification and optimization for LSI & PCB layout · DAC 1981 |
Electronic design automation › physical design
placement |
0.0 | 2 | 1980 | Comet - a fast component placer · DAC 1980 An analytic technique for router comparison · DAC 1976 |
Electronic design automation › physical design › routing › detailed routing
rip-up and reroute |
0.0 | 1 | 1981 | Performance of interconnection rip-up and reroute strategies · DAC 1981 |
Electronic design automation › physical design › routing › channel routing
single-row routing |
0.0 | 1 | 1981 | A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing · DAC 1981 |
Electronic design automation
hardware verification and test |
0.0 | 3 | 1985 | The STE-264 accelerated electronic CAD system · DAC 1985 An analytic technique for router comparison · DAC 1976 Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974 |
Performance modeling and evaluation › simulation › parallel and distributed simulation
parallel simulation |
0.0 | 1 | 1987 | Faster Architectural Simulation Through Parallelism · DAC 1987 |
Requirements engineering and software design › software design tools
design environment |
0.0 | 1 | 1985 | Star's envoling design environment: a user's perspective on CAE · DAC 1985 |
Electronic design automation › logic synthesis › state assignment
asynchronous sequential machine state assignment |
0.0 | 1 | 1974 | Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974 |
Electronic design automation › logic synthesis
state assignment |
0.0 | 1 | 1974 | Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974 |
Electronic design automation › physical design › VLSI layout
printed wiring board layout |
0.0 | 1 | 1981 | Verification and optimization for LSI & PCB layout · DAC 1981 |
Integrated circuit design
VLSI design |
0.0 | 1 | 1981 | Verification and optimization for LSI & PCB layout · DAC 1981 |
Electronic design automation › physical design › placement
component placement |
0.0 | 1 | 1980 | Comet - a fast component placer · DAC 1980 |
Distributed systems › fault tolerance
fault detection and diagnosis |
0.0 | 1 | 1976 | An analytic technique for router comparison · DAC 1976 |
Electronic design automation › hardware synthesis
automatic synthesis |
0.0 | 1 | 1974 | Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974 |
Integrated circuit design
asynchronous circuit design |
0.0 | 1 | 1969 | Generation of Design Equations in Asynchronous Sequential Circuits · IEEE Trans. Computers 1969 |
Methods — techniques the papers use, named apart from their topics
parallel simulation · 0.0data structuring · 0.0rip-up and reroute · 0.0necessary and sufficient conditions for single row routing · 0.0cost function optimization · 0.0rectangle-probe routing · 0.0heuristic algorithm · 0.0exponential-time algorithms · 0.0flow table synthesis algorithm · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1987 | Faster Architectural Simulation Through ParallelismabstractArchitectural simulation of complex systems is usually constrained by available computational resources. Recently, several commercial parallel processing systems have appeared with price-performance levels that make very intense simulations affordable. In this paper, we briefly review architectural simulation technology, then describe the approach used to develop a parallel architectural simulator. Performance of the parallel simulator is then experimentally characterized and analyzed. This study is one of the earliest to report measured performance of a widely-used commercial simulator, running non-trivial designs on a popular parallel computing system. J. W. Smith, K. S. Smith, Robert J. Smith 0001 |
DAC | 3 |
| 1986 | Computer aided (CA) tools integration and related standards development (panel session)abstractThe design processes are basically the same at all levels of applications - chip, board and system. Many businesses involved with design find themselves with a combination of manual methods and a variety of CA tools to accomplish different portions of this process. This implies that the information, or database, is found in a variety of media forms: on paper, on system A application B, on system C application D, etc. There is a tremendous need at this point in the CA tools industry's development to offer means by which these different parts of the design process, manual and automated, can transfer information intelligently between applications which may be resident on different platforms. Given sufficient time, and barring major differences between the various proponents, the ongoing development of industry-wide standards are possibly the solution to many of these issues. Roger J. Pachter, Robert J. Smith 0001, Ronald Waxman, J. Hines, H. G. Adhead, L. O'Connell, Moe Shahdad, John P. Eurich |
DAC | 2 |
| 1986 | Fundamentals of parallel logic simulationabstractParallel processing is being recognized as a practical way to achieve very high performance in logic simulation of large designs. This tutorial summarizes many of the basic methods employed, and estimates attainable throughput. Next, data structuring and processing factors are explored as they impact parallel simulation. Experience indicates that support processing necessary before and after simulation kernel execution can be accelerated using parallel methods. We conclude by suggesting pitfalls to avoid, and discuss future development directions for parallel logic simulation. Robert J. Smith 0001 |
DAC | 1 |
| 1985 | Star's envoling design environment: a user's perspective on CAEabstractThe digital system design support environment at Star Technologies, Inc. has changed radically in its implementation over a few years. Nevertheless, it has remained unusually effective in meeting corporate goals. This paper summarizes this evolution and the forces that drove it. Star's projected future CAE environment is also discussed. Gary B. Goates, Patrick M. Hefferan, Robert J. Smith 0001, Randy Harris |
DAC | 3 |
| 1985 | The STE-264 accelerated electronic CAD system
Patrick M. Hefferan, Robert J. Smith 0001, Val Burdick, Donald L. Nelson |
DAC | 2 |
| 1983 | Technology-independent circuit layout
Robert J. Smith 0001 |
DAC | 1 |
| 1983 | Workshop - technology design rules for design automation
Ronald Waxman, Melvin F. Heilweil, Tom Reinke, Robert J. Smith 0001, Gayla J. Von Ehr |
DAC | 4 |
| 1981 | Verification and optimization for LSI & PCB layout
H. Nelson Brady, Robert J. Smith 0001 |
DAC | 2 |
| 1981 | Performance of interconnection rip-up and reroute strategies
William A. Dees Jr., Robert J. Smith 0001 |
DAC | 2 |
| 1981 | A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing
Raymond Y. Tsui, Robert J. Smith 0001 |
DAC | 2 |
| 1980 | An implementation of a saturated zone multi-layer printed circuit board routerabstractA new multi-layer printed circuit board routing technique is presented which combines two existing algorithms with a new cost function. The present implementation of this new technique handles up to four layers at a time. The earlier works are overviewed and enhancements incorporated in the new implementation are pointed out. Experimental results obtained using this new router on printed circuit boards of various sizes and routing densities are also described. Michael J. Lorenzetti, Robert J. Smith 0001 |
DAC | 2 |
| 1980 | Comet - a fast component placerabstractClassical Unconnected Set (UCS) and other iterative placement improvement algorithms may converge slowly toward desirable component arrangements. This paper discusses mechanisms that inhibit convergence, then proposes techniques for accelerating rate of improvement. A placer incorporating these procedures is described, and experimental results demonstrating effectiveness of the approach are given. Valerie K. Smith, Robert J. Smith 0001, Phil A. Preston |
DAC | 2 |
| 1977 | A rectangle-probe router for multilayer P.C. boards
W. G. Cage, Robert J. Smith 0001 |
DAC | 2 |
| 1977 | Software engineering techniques in design automation - a tutorial
Robert J. Smith 0001 |
DAC | 1 |
| 1976 | An analytic technique for router comparisonabstractDesign automation of electronic systems is generally separated into a number of distinct areas of effort. Breuer [1] has divided design automation into the areas of logic synthesis, gate simulation, partitioning, placement, routing, and fault detection and diagnosis. While this separation may not be complete or entirely accurate, these functions generally must be performed. David C. Wilson, Robert J. Smith 0001 |
DAC | 2 |
| 1974 | Individualized instruction in computer scienceabstractThe concept of individualized instruction centered around a rather extensive research project has been present in education for centuries. As recently as fifty years ago many colleges and universities required some form of thesis for bachelors and masters degrees, as well as for the doctorate. However, with the pressure of increasing numbers of students the emphasis on individual study has abated to such an extent that in many schools only the PhD students have a real opportunity to engage in extensive individual work. Robert R. Korfhage, Robert J. Smith 0001 |
SIGCSE | 2 |
| 1974 | Generation of Internal State Assignments for Large Asynchronous Sequential MachinesabstractSeveral algorithms have been proposed for generating satisfactory state assignments for normal fundamental mode asynchronous sequential circuits. Programmed versions of minimal and near-minimal techniques have been incorporated in automated synthesis systems, but are known to require computational efforts which increase exponentially with flow table size. Other methods, requiring much less effort, produce assignments with far more state variables than minimal assigments. Robert J. Smith 0001 |
IEEE Trans. Computers | 1 |
| 1969 | Generation of Design Equations in Asynchronous Sequential CircuitsabstractOne step in the synthesis procedure for realizing an asynchronous sequential switching circuit is the generation of next-state and output state equations from a simplified and coded flow table description of the circuit. The usual approach for determining these equations is to first construct a state table from the coded flow table, and then construct transition and output tables. For large flow tables this can be quite a lengthy procedure. This note describes an algorithm which simplifies the synthesis procedure for normal fundamental-mode circuits by permitting the determination of these equations without explicit construction of the state table, transition table, or output table. The algorithm has been programmed in PL/1. Gary K. Maki, James H. Tracey, Robert J. Smith 0001 |
IEEE Trans. Computers | 3 |