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.
? Tutorial for this page

John P. Fishburn

dblp:54/3545 · DBLP profile ↗
← Back
13ranked-venue papers
5as first author
0since 2021 · last 2002
—ORCID · none

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

Systems, architecture and hardware · 10 · 4 first-authorArtificial intelligence and machine learning · 2Databases, data management, data science and information retrieval · 1 · 1 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
8 papers
Electronic design automation · 81% Processor architecture and microarchitecture · 8% Integrated circuit design · 6%
Databases, data mining, and information retrieval
1 paper
Database system architecture and tuning · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
physical design
0.032001
Interconnect synthesis without wire tapering · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2001
Clock Skew Optimization · IEEE Trans. Computers 1990
Effective use of virtual grid compaction in macro-module generators · DAC 1985
Electronic design automation › physical design › interconnect optimization
buffer insertion and wire sizing
0.012001
Interconnect synthesis without wire tapering · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2001
Electronic design automation › physical design
interconnect synthesis
0.012001
Interconnect synthesis without wire tapering · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2001
Electronic design automation › physical design › clock network synthesis
clock skew optimization
0.021998
Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1998
Clock Skew Optimization · IEEE Trans. Computers 1990
Electronic design automation › physical design
gate sizing
0.011998
Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1998
Processor architecture and microarchitecture › pipelining
pipelined circuits
0.011998
Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1998
Electronic design automation › physical design
timing optimization
0.011998
Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1998
Electronic design automation
logic synthesis
0.021992
LATTIS: An Iterative Speedup Heuristic for Mapped Logic · DAC 1992
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between · DAC 1990
Electronic design automation › logic synthesis › circuit optimization
circuit depth minimization
0.011990
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between · DAC 1990
Integrated circuit design › clocking
clock distribution
0.011990
Clock Skew Optimization · IEEE Trans. Computers 1990
Electronic design automation › logic synthesis › combinational logic synthesis
combinational logic optimization
0.011990
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between · DAC 1990
Integrated circuit design
digital circuit design
0.011990
Clock Skew Optimization · IEEE Trans. Computers 1990
Distributed systems › distributed system modeling
synchronous system
0.011990
Clock Skew Optimization · IEEE Trans. Computers 1990
Electronic design automation › design data management
design database
0.011986
A Database-Driven VLSI Design System · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1986
Electronic design automation › design methodology
VLSI design system
0.011986
A Database-Driven VLSI Design System · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1986
Electronic design automation › physical design
layout compaction
0.011985
Effective use of virtual grid compaction in macro-module generators · DAC 1985
Electronic design automation › logic synthesis
technology mapping
0.011992
LATTIS: An Iterative Speedup Heuristic for Mapped Logic · DAC 1992
Algorithms and data structures
parallel algorithms
0.011983
Improved Speedup Bounds for Parallel Alpha-Beta Search · IEEE Trans. Pattern Anal. Mach. Intell. 1983
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › game tree search
alpha-beta search
0.011982
Parallelism in Alpha-Beta Search · Artif. Intell. 1982
Interconnection networks and networks-on-chip
network emulation
0.011982
Quotient Networks · IEEE Trans. Computers 1982
Interconnection networks and networks-on-chip
network topology
0.011982
Quotient Networks · IEEE Trans. Computers 1982
Parallel and multicore computing › parallel algorithms
parallel algorithm design
0.011982
Quotient Networks · IEEE Trans. Computers 1982
Integrated circuit design › digital circuit design › arithmetic circuit design
adder design
0.011990
A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between · DAC 1990
Electronic design automation › physical design
module generation
0.011985
Effective use of virtual grid compaction in macro-module generators · DAC 1985
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
game tree search
0.011983
Improved Speedup Bounds for Parallel Alpha-Beta Search · IEEE Trans. Pattern Anal. Mach. Intell. 1983

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

wire tapering analysis · 0.0polynomial-time algorithm · 0.0timing analysis · 0.0sensitivity-based optimization · 0.0iterative speedup heuristic · 0.0index management · 0.0shannon factorization · 0.0linear programming · 0.0depth-decreasing heuristic · 0.0circuit simulation · 0.0speedup analysis · 0.0mandatory-work-first · 0.0relational database · 0.0
YearPublicationVenuePosition
2002 Solving a system of difference constraints with variables restricted to a finite set
John P. Fishburn
Inf. Process. Lett.1
2002 Correction to "interconnect synthesis without wire tapering"
Charles J. Alpert, Anirudh Devgan, John P. Fishburn, Stephen T. Quay
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
2001 Interconnect synthesis without wire tapering
abstract
Interconnect synthesis techniques, such as wire sizing and buffer insertion/sizing, have proven to be critical for reducing interconnect delays in deep submicron design. Consequently, the past few years have seen several works that study buffer insertion, wire sizing, and their simultaneous optimization. For long interconnect, wire tapering, i.e., reducing the wire width as the distance from the driver increases, can yield better solutions than uniform wire sizing. However, despite its obvious benefits, tapering is not widely used in practice since it is difficult to integrate into a coherent routing methodology. This paper studies the benefits of wire sizing with tapering when combined with buffer insertion. We first present a theoretical result that shows wire tapering is at most 3.5% faster than uniform wire sizing when maximal buffer insertion is applied. We then present detailed experiments that support this result. Consequently, we conclude that it is generally not worthwhile to perform tapering for signal nets. Finally, we present a general formulation and optimal polynomial time algorithm for simultaneous wire sizing and buffer insertion that forbids wire tapering, but incorporates layer assignment and wire spacing.
Charles J. Alpert, Anirudh Devgan, John P. Fishburn, Stephen T. Quay
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
1998 Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization
abstract
An algorithm for unifying the techniques of gate sizing and clock skew optimization for acyclic pipelines is presented in this paper. In the design of circuits under very tight timing specifications, the area overhead of gate sizing can be considerable. The procedure described herein utilizes the idea of cycle borrowing using clock skew optimization to relax the stringency of the timing specification on the critical stages of the pipeline. The theoretical basis for the procedure is developed, a new algorithm for timing analysis of acyclic pipeline circuits with deliberate skew is presented, and a sensitivity-based optimizer is used to solve the sizing+skew problem. Our experimental results verify that the procedure of cycle borrowing using sizing+skew results in a better overall area-delay tradeoff as compared to using sizing alone.
Harsha Sathyamurthy, Sachin S. Sapatnekar, John P. Fishburn
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3
1995 Speeding up pipelined circuits through a combination of gate sizing and clock skew optimization
abstract
An algorithm for unifying the techniques of gate sizing and clock skew optimization for acyclic pipelines is presented. In the design of circuits under very tight timing specifications, the area overhead of gate sizing can be considerable. The procedure utilizes the idea of cycle-borrowing using clock skew optimization to relax the stringency of the timing specification on the critical stages of the pipeline. Experimental results verify that cycle-borrowing using sizing+skew results in a better overall area-delay tradeoff than with sizing alone.
Harsha Sathyamurthy, Sachin S. Sapatnekar, John P. Fishburn
ICCAD3
1992 LATTIS: An Iterative Speedup Heuristic for Mapped Logic
John P. Fishburn
DAC1
1990 A Depth-Decreasing Heuristic for Combinational Logic: Or How To Convert a Ripple-Carry Adder Into A Carry-Lookahead Adder Or Anything in-between
abstract
This paper describes a heuristic for speeding up combinational logic by decreasing the logic depth, at the expense of a minimal increase in circuit size. The heuristic iteratively speeds up sections of the critical path by the use of Shannon factorization on the late input. This procedure is empirically found to be capable of reproducing or even beating several classic global optimizations: a chain of an associative operator is transformed into a tree, a ripple prefix circuit into a parallel prefix circuit, and a ripple-carry adder into a slightly smaller and faster circuit than the carry-lookahead adder.
John P. Fishburn
DAC1
1990 Clock Skew Optimization
abstract
Improving the performance of a synchronous digital system by adjusting the path delays of the clock signal from the central clock source to individual flip-flops is investigated. Using a model to detect clocking hazards, two linear programs are investigated: (1) minimizing the clock period, while avoiding clock hazards, and (2) for a given period, maximizing the minimum safety margin against clock hazard. These programs are solved for a simple example, and circuit simulation is used to contrast the operation of a resulting circuit with the conventionally clocked version. The method is extended to account for clock skew caused by relative variations in the drive capabilities of N-channel versus P-channel transistors in CMOS.>
John P. Fishburn
IEEE Trans. Computers1
1986 A Database-Driven VLSI Design System
abstract
We describe an effort in applying database technology to the VLSI design process. By mixing software tools, relational database concepts, sophisticated index management, and existing VLSI design tools, we have built a flexible, interactive VLSI design system that provides data independence and technology independence. Design tools are interfaced with a centralized database to form an integrated design environment.
Kung-Chao Chu, John P. Fishburn, Peter Honeyman, Y. Edmund Lien
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
1985 Effective use of virtual grid compaction in macro-module generators
abstract
This paper describes the virtual grid compaction system provided by the IDA environment. The system facilitates the development and use of silicon generators, and supports their porting to new environments. A generator is a program that accepts parameters and produces good quality silicon layouts for small to medium size subcircuits, such as counters, registers, multipliers, etc. The system makes use of the “i” language for layout descriptions, the C language for algorithmic descriptions, a virtual grid to lambda grid compactor, and a tool for decompacting symbols so that they will match exactly, or with minimal routing between them. There are several ways to use the system, depending on the amount of flexibility needed. This system has been used to create a library of generators, and is flexible enough to handle a wide range of practical layout problems.
Dwight D. Hill, John P. Fishburn, Mary Diane Palmer Leland
DAC2
1983 Improved Speedup Bounds for Parallel Alpha-Beta Search
abstract
In this paper we investigate the ``mandatory-work-first'' approach to parallel alpha-beta search first proposed by Akl, Barnard, and Doran. This approach is based on a version of alpha-beta search without deep cutoffs and a two-stage evaluation process, the second stage of which is often pruned. Our analysis shows that for best-first ordering on the lookahead tree, this approach provides greater speedup than the Palphabeta tree-splitting technique, and that for worst-first ordering, mandatory work first provides only slightly worse speedup than Palphabeta.
Raphael A. Finkel, John P. Fishburn
IEEE Trans. Pattern Anal. Mach. Intell.2
1982 Parallelism in Alpha-Beta Search
Raphael A. Finkel, John P. Fishburn
Artif. Intell.2
1982 Quotient Networks
abstract
A large-network algorithm solves a problem of size N on a network of N processors. We present a method for transforming certain large networks into quotient networks that emulate those large networks with fewer processors. Large-network algorithms are easily modified to execute on the quotient network. The emulations result in no loss in execution efficiency. Quotient networks allow algorithms to be designed assuming any number of processors and executed efficiently at a great savings in hardware cost.
John P. Fishburn, Raphael A. Finkel
IEEE Trans. Computers1