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. A simulation from public publication records: the people listed were not invited and did not agree to review.

Robert J. Smith 0001

dblp:23/993 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Electronic design automation
physical design
0.081983
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.051981
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.041985
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.031981
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.031981
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.011987
Faster Architectural Simulation Through Parallelism · DAC 1987
Performance modeling and evaluation
simulation
0.011987
Faster Architectural Simulation Through Parallelism · DAC 1987
Electronic design automation
design automation standards
0.011986
Computer aided (CA) tools integration and related standards development (panel session) · DAC 1986
Electronic design automation › CAD framework
design tool integration
0.011986
Computer aided (CA) tools integration and related standards development (panel session) · DAC 1986
Electronic design automation › hardware verification and test
hardware verification
0.011986
Fundamentals of parallel logic simulation · DAC 1986
Electronic design automation › hardware verification and test
logic simulation
0.011986
Fundamentals of parallel logic simulation · DAC 1986
Electronic design automation › hardware verification and test › logic simulation
parallel logic simulation
0.011986
Fundamentals of parallel logic simulation · DAC 1986
Electronic design automation › design for manufacturability
design rules
0.011983
Workshop - technology design rules for design automation · DAC 1983
Electronic design automation › physical design
layout optimization
0.011981
Verification and optimization for LSI & PCB layout · DAC 1981
Electronic design automation › physical design
layout verification
0.011981
Verification and optimization for LSI & PCB layout · DAC 1981
Electronic design automation › physical design
placement
0.021980
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.011981
Performance of interconnection rip-up and reroute strategies · DAC 1981
Electronic design automation › physical design › routing › channel routing
single-row routing
0.011981
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.031985
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.011987
Faster Architectural Simulation Through Parallelism · DAC 1987
Requirements engineering and software design › software design tools
design environment
0.011985
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.011974
Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974
Electronic design automation › logic synthesis
state assignment
0.011974
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.011981
Verification and optimization for LSI & PCB layout · DAC 1981
Integrated circuit design
VLSI design
0.011981
Verification and optimization for LSI & PCB layout · DAC 1981
Electronic design automation › physical design › placement
component placement
0.011980
Comet - a fast component placer · DAC 1980
Distributed systems › fault tolerance
fault detection and diagnosis
0.011976
An analytic technique for router comparison · DAC 1976
Electronic design automation › hardware synthesis
automatic synthesis
0.011974
Generation of Internal State Assignments for Large Asynchronous Sequential Machines · IEEE Trans. Computers 1974
Integrated circuit design
asynchronous circuit design
0.011969
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
YearPublicationVenuePosition
1987 Faster Architectural Simulation Through Parallelism
abstract
Architectural 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
DAC3
1986 Computer aided (CA) tools integration and related standards development (panel session)
abstract
The 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
DAC2
1986 Fundamentals of parallel logic simulation
abstract
Parallel 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
DAC1
1985 Star's envoling design environment: a user's perspective on CAE
abstract
The 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
DAC3
1985 The STE-264 accelerated electronic CAD system
Patrick M. Hefferan, Robert J. Smith 0001, Val Burdick, Donald L. Nelson
DAC2
1983 Technology-independent circuit layout
Robert J. Smith 0001
DAC1
1983 Workshop - technology design rules for design automation
Ronald Waxman, Melvin F. Heilweil, Tom Reinke, Robert J. Smith 0001, Gayla J. Von Ehr
DAC4
1981 Verification and optimization for LSI & PCB layout
H. Nelson Brady, Robert J. Smith 0001
DAC2
1981 Performance of interconnection rip-up and reroute strategies
William A. Dees Jr., Robert J. Smith 0001
DAC2
1981 A high-density multilayer PCB router based on necessary and sufficient conditions for single row routing
Raymond Y. Tsui, Robert J. Smith 0001
DAC2
1980 An implementation of a saturated zone multi-layer printed circuit board router
abstract
A 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
DAC2
1980 Comet - a fast component placer
abstract
Classical 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
DAC2
1977 A rectangle-probe router for multilayer P.C. boards
W. G. Cage, Robert J. Smith 0001
DAC2
1977 Software engineering techniques in design automation - a tutorial
Robert J. Smith 0001
DAC1
1976 An analytic technique for router comparison
abstract
Design 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
DAC2
1974 Individualized instruction in computer science
abstract
The 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
SIGCSE2
1974 Generation of Internal State Assignments for Large Asynchronous Sequential Machines
abstract
Several 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. Computers1
1969 Generation of Design Equations in Asynchronous Sequential Circuits
abstract
One 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. Computers3