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. Knight

dblp:87/1422 · DBLP profile ↗
← Back
9ranked-venue papers
0as first author
0since 2021 · last 2005
—ORCID · none

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

Systems, architecture and hardware · 9

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
6 papers
Electronic design automation · 88% Energy-efficient computing · 12%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
high-level synthesis
0.061995
Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level · DAC 1995
Force-directed scheduling for the behavioral synthesis of ASICs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1989
Scheduling and Binding Algorithms for High-Level Synthesis · DAC 1989
Electronic design automation › high-level synthesis
scheduling
0.031989
Force-directed scheduling for the behavioral synthesis of ASICs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1989
Scheduling and Binding Algorithms for High-Level Synthesis · DAC 1989
Force-Directed Scheduling in Automatic Data Path Synthesis · DAC 1987
Electronic design automation › high-level synthesis › behavioral transformation
behavioral synthesis
0.011995
Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level · DAC 1995
Energy-efficient computing
power management
0.011995
Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level · DAC 1995
Electronic design automation › high-level synthesis
data path synthesis
0.021987
Force-Directed Scheduling in Automatic Data Path Synthesis · DAC 1987
HAL: a multi-paradigm approach to automatic data path synthesis · DAC 1986
Electronic design automation › high-level synthesis › scheduling
resource-constrained scheduling
0.021989
Scheduling and Binding Algorithms for High-Level Synthesis · DAC 1989
Force-directed scheduling for the behavioral synthesis of ASICs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1989
Electronic design automation
design space exploration
0.011989
Scheduling and Binding Algorithms for High-Level Synthesis · DAC 1989
Electronic design automation › high-level synthesis › scheduling
force-directed scheduling
0.011989
Force-directed scheduling for the behavioral synthesis of ASICs · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1989
Electronic design automation › high-level synthesis
hardware compilation
0.011985
Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1985
Electronic design automation
hardware description language
0.011985
Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1985
Programming languages and type systems
language design
0.011985
Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1985

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

list scheduling · 0.0global priority function · 0.0force-directed scheduling algorithm · 0.0control/data-flow graph construction · 0.0multi-paradigm synthesis · 0.0force-directed scheduling · 0.0
YearPublicationVenuePosition
2005 Physical resource binding for a coarse-grain reconfigurable array using evolutionary algorithms
abstract
One of the challenges of designing for coarse-grain reconfigurable arrays is the need for mature tools. This is especially important because of the heterogeneity of the larger, more predefined (and hence more specialized) array elements. This work describes the use of a genetic algorithm (GA) to automate the physical binding phase of kernel design. We identify the generalizable features of an example platform and discuss suitable ways to harness the binding problem to a GA search engine.
Fred Ma, John P. Knight, Calvin Plett
IEEE Trans. Very Large Scale Integr. Syst.2
2002 Compatible cell connections for multifamily dynamic logic gates
abstract
Dynamic logic is an alternative way of making logic circuit cells and numerous techniques have been developed to take advantage of its unique characteristics. Particularly, techniques such as the true-single-phase-clock (TSPC) have been used very successfully for fast and low-power applications. However one cannot synthesize dynamic logic gates with the same ease as static gates. One reason is there are no simple rules to connect the many circuit types of dynamic gates to static gates. This paper addresses the problem of finding connection rules for a given set of gate types. The fundamental cell circuit types for dynamic logic gates are analyzed first together with static logic gates. A common set of principles of operation and connections is then identified and later applied to discover which are the feasible connections between cell circuit types identified.
Rolando Ramírez Ortiz, John P. Knight
IEEE Trans. Very Large Scale Integr. Syst.2
2001 Multiclock selection and synthesis for CDFGs using optimal clock sets and genetic algorithms
abstract
Selecting a clock period is an essential step in implementing hardware from behavioral descriptions. Current methods either estimate the clock prior to scheduling or involve exhaustive runs of the high-level synthesis tools to obtain a globally optimum clock period. Further, the potential benefits of allowing the use of multiple clocks for performance optimization has not been investigated. This paper presents a clock selection method that works simultaneously with synthesis by selecting a clock from an optimal clock set. The synthesis is iterative and is optimized by evolutionary techniques. The method is very flexible and can accommodate a large set of potentially optimal clocks. We also present multirate clock synthesis with path-dependent clock selection where different paths in a control data flow graph (CDFG) are optimized with different clock periods. The results shown prove the method's effectiveness.
Elie Torbey, John P. Knight
IEEE Trans. Very Large Scale Integr. Syst.2
1995 Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level
abstract
This paper presents a methodology and tool (Power-Profiler) for the optimization of average and peak power consumption in the behavioral synthesis of ASICs.It considers lowering operating voltages, disabling the clock of components not in use, and architectural trade-offs, while also keeping silicon area at reasonable sizes.By attacking the power problem from the behavioral level, it can exploit an application's inherent parallelism to meet the desired performance and compensate for slower and less power-hungry operators.
Raul San Martin, John P. Knight
DAC2
1989 Scheduling and Binding Algorithms for High-Level Synthesis
abstract
New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques by making use of a global priority function. A new design-space exploration technique, which combines this algorithm with an existing one based on time constraints, is also presented.
Pierre G. Paulin, John P. Knight
DAC2
1989 Force-directed scheduling for the behavioral synthesis of ASICs
abstract
A general scheduling methodology is presented that can be integrated into specialized or general-purpose high-level synthesis systems. An initial version of the force-directed scheduling algorithm at the heart of this methodology was originally presented by the authors in 1987. The latest implementation of the logarithm introduced here reduces the number of functional units, storage units, and buses required by balancing the concurrency of operations assigned to them. The algorithm supports a comprehensive set of constraint types and scheduling modes. These include multicycle and chained operations; mutually exclusive operations; scheduling under fixed global timing constraints with minimization of functional unit costs, minimization of register costs, and minimization of global interconnect requirements; scheduling with local time constraints (on operation pairs); scheduling under fixed hardware resource constraints; functional pipelining; and structural pipeline (use of pipeline functional units). Examples from current literature, one of which was chosen as a benchmark for the 1988 High-Level Synthesis Workshop, are used to illustrate the effectiveness of the approach.>
Pierre G. Paulin, John P. Knight
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.2
1987 Force-Directed Scheduling in Automatic Data Path Synthesis
abstract
The HAL system performs data path synthesis using a new scheduling algorithm that is part of an interdependent scheduling and allocation scheme. This scheme uses an estimate of the hardware allocation to guide and optimize the scheduling subtask. The allocation information includes the number, type, speed and cost of hardware modules as well as the associated multiplexer and interconnect costs.
Pierre G. Paulin, John P. Knight
DAC2
1986 HAL: a multi-paradigm approach to automatic data path synthesis
abstract
A novel approach to automatic data path synthesis is presented. This approach features innovations in the synthesis process as well as in the system implementation.
Pierre G. Paulin, John P. Knight, Emil F. Girczyc
DAC2
1985 Applicability of a Subset of Ada as an Algorithmic Hardware Description Language for Graph-Based Hardware Compilation
abstract
The requirements of an algorithmic level hardware description language can be met by a software language with only limited feature enhancement. This paper discusses the feasibility of using a subset of Ada as a hardware description language. Methods are presented for realizing the extra features required for hardware description within the syntax of Ada. This allows the compiled Ada program to act as a functional simulator. Our particular context for hardware description is as a source language for a hardware compiler. Rules are presented for translating a circuit described in the Ada subset onto a control/data-flow graph (CDFG), our intermediate level form.
Emil F. Girczyc, Raymond J. A. Buhr, John P. Knight
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.3