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

Dorothy E. Setliff

dblp:04/5785 · DBLP profile ↗
← Back
11ranked-venue papers
6as first author
0since 2021 · last 2000
—ORCID · none

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

Software engineering, systems software and programming languages · 6 · 4 first-authorSystems, architecture and hardware · 4 · 2 first-authorApplied, interdisciplinary, general and emerging 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
6 papers
Electronic design automation · 76% Embedded and real-time systems · 24%
Software engineering, system software, and programming languages
4 papers
Program synthesis and code generation · 100%
Artificial intelligence
1 paper
Knowledge representation and reasoning · 100%

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

TopicWeightPapersLastEvidence papers
Electronic design automation
physical design
0.041995
Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995
On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989
Electronic design automation
design space exploration
0.011997
Towards a Design Assistant for Distributed Embedded Systems · ASE 1997
Embedded and real-time systems › networked embedded systems
distributed embedded systems
0.011997
Towards a Design Assistant for Distributed Embedded Systems · ASE 1997
Electronic design automation › high-level synthesis
area and delay estimation
0.011995
Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995
Electronic design automation
high-level synthesis
0.011995
Deriving Efficient Area and Delay Estimates by Modeling Layout Tools · DAC 1995
Electronic design automation › physical design
routing
0.021992
On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991
Knowledge Representation and Reasoning in a Software Synthesis Architecture · IEEE Trans. Software Eng. 1992
Electronic design automation › physical design › routing › wire routing
maze routing
0.011991
On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 1991
Embedded and real-time systems
real-time scheduling
0.011991
Towards an automatic synthesis system for real-time software · RTSS 1991
Embedded and real-time systems › real-time software
real-time software synthesis
0.011991
Towards an automatic synthesis system for real-time software · RTSS 1991
Electronic design automation › timing analysis
timing constraint analysis
0.011991
Towards an automatic synthesis system for real-time software · RTSS 1991
Program synthesis and code generation
domain-specific code generation
0.011989
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989
Electronic design automation › physical design › routing
wire routing
0.011989
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software · DAC 1989

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

stepwise refinement · 0.0program synthesis · 0.0code generation · 0.0knowledge sources · 0.0domain-specific knowledge · 0.0model-based design · 0.0design framework · 0.0worst-case timing prediction · 0.0data and control flow analysis · 0.0machine learning · 0.0
YearPublicationVenuePosition
2000 Modeling layout tools to derive forward estimates of area and delay at the RTL level
abstract
Forward estimates of area and delay facilitate effective decision-making when searching the solution space of digital designs. Current estimation techniques focus on modeling the layout result and fail to deliver timely or accurate estimates. This paper presents a novel approach to deriving these area and delay estimates at the RTL level by modeling the layout tool, rather than the layout result. This approach uses machine learning techniques to capture the relationships between general design features (i.e., topology, connectivity, common input, and common output) and layout concepts (i.e., relative placement). Experiments illustrate the formulation of the training set for machine learning in this domain, and also show how we can derive different tool models. Finally, they show how we can use the resultant model to derive forward estimates of area and delay in real-world designs.
Donald S. Gelosh, Dorothy E. Setliff
ACM Trans. Design Autom. Electr. Syst.2
1998 A Guide to Rearing Perfect Software: A Desert Island Column
Dorothy E. Setliff
Autom. Softw. Eng.1
1997 Towards a Design Assistant for Distributed Embedded Systems
abstract
This paper presents an overview of a distributed embedded system design assistant called Systems Engineers Workbench (SEW 2.0). SEW 2.0 uses a suite of design frameworks, with supporting representations, to structure the inherent complexity. A set of design assist operatives further improves the ability of the designer to explore the domain space while evaluating performance/resource tradeoffs.
Dorothy E. Setliff, Jay K. Strosnider, Jose A. Madriz
ASE1
1997 Introduction
Howard B. Reubenstein, Dorothy E. Setliff
Autom. Softw. Eng.2
1995 Deriving Efficient Area and Delay Estimates by Modeling Layout Tools
abstract
Abstract| This paper presents a novel approach to deriving area and delay estimates for high level synthesis using machine learning techniques to model layout tools.This approach captures the relationships between general design features (e.g., topology, connectivity, common input, and common output) and layout concepts (e.g., relative placement).Experimentation illustrates the eectiveness of this approach for a variety of real-world designs.
Donald S. Gelosh, Dorothy E. Setliff
DAC2
1994 Birds of a feather: The DODE and domain-specific software synthesis systems
Dorothy E. Setliff
Autom. Softw. Eng.1
1994 Using simulated annealing to synthesize resource-bounded software
Tobiah E. Smith, Dorothy E. Setliff
Autom. Softw. Eng.2
1992 Knowledge Representation and Reasoning in a Software Synthesis Architecture
abstract
The knowledge representation and reasoning strategies in an automatic program synthesis architecture called ELF are described. ELF synthesizes computer-aided design (CAD) tools that automatically route wires in VLSI circuits. The design space ELF confronts, requires it to understand various physical technologies, to select an appropriate procedure-level decomposition, to choose algorithms and data structures, to manage any interdependencies, and to generate efficient code. ELF manages the design space using a variety of knowledge sources, including domain-specific knowledge. The manner in which knowledge is used determines the representation method of choice. The effectiveness of these ideas is illustrated via a tour through the synthesis steps for a specific routing tool, and a brief discussion of the performance of the resulting synthetic router as measured against an industrial tool.>
Dorothy E. Setliff, Rob A. Rutenbar
IEEE Trans. Software Eng.1
1991 Towards an automatic synthesis system for real-time software
abstract
An automatic synthesis system for real-time software is described. It is argued that the presence of strict operation requirements, such as task-level timing constraints and compiler and target platform constraints, guides synthesis. An automatic software synthesis system, RT-SYN, integrates platform characteristics to synthesize real-time software which meets hard deadline design requirements. The RT-SYN system has four key features. First, a visual graphical user interface captures application algorithms without implementation specifications. Second, RT-SYN analyzes the task-level data and control flows to produce worst-case timing and space predictions. Third, RT-SYN uses these predictions to choose abstract representations of data structure and algorithm implementations to meet required timing and space constraints. Fourth, RT-SYN synthesizes C code from the selected implementations. Experimental results are given to illustrate these four features.>
Tobiah E. Smith, Dorothy E. Setliff
RTSS2
1991 On the feasibility of synthesizing CAD software from specifications: generating maze router tools in ELF
abstract
The application of program synthesis techniques to the generation of technology-sensitive VLSI physical design tools is described. The architecture and implementation of a particular software generator (called ELF) targeted at the generation of maze routing software is described. ELF strives to meet the demands of the target technology by automatically generating maze router implementations to match the application requirements. ELF has three key features. First, a very high level language, lacking data structure implementation specifications, is used to describe algorithm design styles. Second, application-specific expertise about routing and application independent code synthesis techniques are used to guide search among alternative design styles for algorithms and data structures. Third, code generation is used to transform the resulting abstract descriptions of selected algorithms and data structures into final, executable code. Code generation is an incremental, stepwise refinement process. Experimental results are presented covering several correct. fully functional routers synthesized by ELF from varying high-level specifications. Results from synthetic and industrial benchmarks are examined to illustrate ELF's capabilities.>
Dorothy E. Setliff, Rob A. Rutenbar
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.1
1989 ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software
abstract
This paper describes how program synthesis techniques can be applied to the generation of technology-sensitive VLSI design tools. We present results from ELF, a synthesis tool for wire-routing software. The ELF synthesis architecture has three key features. First, a very high level language, lacking data structure implementation specifications is used to describe algorithm design styles. Second, routing domain knowledge and generic program synthesis knowledge are used to guide search among candidate design styles for all necessary component algorithms, and to deduce compatible data structure implementations for these components. Third, code generation is used to transform the resulting abstract descriptions of selected algorithms and data structures into final, executable code. Code generation is an incremental, stepwise refinement process. We present experimental results from several correct, fully-functional routers synthesized by ELF from varying high-level specifications.
Dorothy E. Setliff, Rob A. Rutenbar
DAC1