Steve Haynal  Home/Search
Context Related
| ucsb.edu/pub/papers/abss.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ucsb.edu/personnel/haynal (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This dissertation presents a set of techniques for representing the high-level behavior of a digital subsystem as a collection of nondeterministic finite automata, NFA. Desired behavioral and implementation dynamics: dependencies, repetition, bounded resources, sequential character, and control state, can also be similarly modeled. All possible system execution sequences, obeying imposed constraints, are encapsulated in a composed NFA. Technology similar to that used in symbolic model checking... (Update)
Context of citations to this paper: More
.... renewed interest in high level synthesis of digital circuits from behavioral descriptions both in the industry and in academia [1, 2, 3, 4, 5]. Recent years have seen the widespread acceptance and use of language level modeling of digital designs. A high level language such as a...
.... factors have led to a renewed interest in high level synthesis from behavioral descriptions, both in the industry and in academia [1, 2, 3, 4, 5]. However, current synthesis efforts have several limitations: Synthesizability is guaranteed on a small, constrained sub set of...
Cited by: More
An Efficient and Versatile Scheduling Algorithm - Based On Sdc (Correct)
Unknown - On Computer-Aideddespu Of (Correct)
Using Global Code Motions to Improve the Quality of .. - Gupta, Savoiu.. (2002) (Correct)
Active bibliography (related documents): More All
1.1: Exploiting Instruction-Level Parallelism: A constructive approach - Santos (1998) (Correct)
0.8: Scheduling and Binding Bounds for RT-Level Symbolic Execution - Monahan, Brewer (1997) (Correct)
0.5: A Code-Motion Pruning Technique for Global Scheduling - Santos, Heijligers, van.. (2000) (Correct)
Similar documents based on text: More All
0.5: Interval Logics for Temporal Specification and Verification - Ramakrishna (1993) (Correct)
0.5: Representing and Scheduling Looping Behavior Symbolically - Steve Haynal Forrest (Correct)
0.4: Performance Engineering of Group Communication Protocols - Budhia (1997) (Correct)
Related documents from co-citation: More All
4: Wavesched: A novel scheduling technique for control-flow intensive behavioral de.. - Lakshminarayana, Khouri et al.
4: Conditional speculation and its effects on performance and area for high-level s.. - Gupta, Savoiu et al. - 2001
3: Global Scheduling Independent of Control Dependencies Based On Condition Vectors (context) - Wakabayashi, Tanaka - 1992
BibTeX entry: (Update)
S. Haynal. Automata-Based Symbolic Scheduling. PhD thesis, University of California, Santa Barbara, 2000. http://citeseer.ist.psu.edu/haynal00automatabased.html More
@phdthesis{ haynal00automatabased,
author = "S. Haynal",
title = "Automata-Based Symbolic Scheduling",
year = "2000",
url = "citeseer.ist.psu.edu/haynal00automatabased.html" }
Citations (may not include all citations):4212 Computers and Intractability: A Guide to the Theory of NP-Co.. (context) - Garey, Johnson - 1983
1726 Graph-Based Algorithms for Boolean Function Manipulation - Bryant - 1986
1399 Compilers: Principles (context) - Aho - 1988
603 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
510 Symbolic Boolean Manipulation with Ordered Binary-Decision D.. - Bryant - 1992
480 The Program Dependence Graph and Its Use in Optimization (context) - Ferrante - 1987
320 MediaBench: A Tool for Evaluating and Synthesizing Multimedi.. - Lee, Potkonjak et al.
316 Efficient Implementation of a BDD package (context) - Brace, Rudell et al. - 1990
217 High-Level Synthesis: Introduction to Chip and System Design (context) - Gajski - 1992
181 Algebraic Decision Diagrams and their Applications - Bahar - 1993
178 Symbolic Model Checking for Sequential Circuit Verification - Burch - 1994
177 Evaluating Future Microprocessors: The SimpleScalar Tool Set - Burger
171 Synthesis and Optimization of Digital Circuits (context) - De Micheli - 1994
162 Petri Nets: Properties, Analysis and Applications (context) - Murata - 1989
157 Conversion of Control Dependence to Data Dependence (context) - Allen - 1983
156 The Multiflow Trace Scheduling Compiler - Lowney - 1993
151 Force-Directed Scheduling for the Behavioral Synthesis of AS.. (context) - Paulin, Knight - 1989
138 The High-Level Synthesis of Digital Systems (context) - McFarland, Parker et al. - 1990
126 Binary Decision Diagrams (context) - Akers - 1978
108 Verification of Synchronous Sequential Machines Based on Sym.. (context) - Coudert - 1989
108 Symbolic Model Checking Using SAT procedures instead of BDDs - Biere - 1999
106 Code Generation for Embedded Processors (context) - Marwedel, Goosens - 1995
106 Implicit State Enumeration of Finite State Machines using BD.. (context) - Touati - 1990
90 Optimal Loop Parallelization (context) - Aiken, Nikolau - 1988
85 Kluwer Academic Publishers (context) - Gajski, Language - 2000
80 Zero-Suppressed BDDs for Set Manipulation in Combinatorial P.. (context) - Minato - 1993
77 A Unified Framework for the Formal Verification of Sequentia.. (context) - Coudert, Madre - 1990
72 Computer Organization and Design HardwareSoftware Interface (context) - Patterson, Design et al. - 1994
70 A Formal Approach to the Scheduling Problem in High Level Sy.. (context) - Hwang - 1991
62 An Algorithm for Exact Bounds on the Time Separation of Even.. - Hulgaard - 1995
62 An Efficient Resource-Constrained Global Scheduling Techniqu.. (context) - Moon, Ebcioglu - 1992
61 Some Experiments in Local Microcode Compaction for Horizonta.. (context) - Davidson - 1981
61 Rotation Scheduling: A Loop Pipelining Algorithm - Chao - 1993
53 Binary Decision Diagrams and Beyond: Enabling Technologies f.. - Bryant - 1995
53 SEHWA: A Software Package for Synthesis of Pipelines from Be.. (context) - Park, Parker - 1988
50 Who Are the Variables in Your Neighborhood - Panda, Somenzi - 1995
49 Path-Based Scheduling for Synthesis (context) - Camposano - 1991
49 MAHA: A Program for Datapath Synthesis (context) - Parker, Pizarro et al. - 1986
45 Enhanced Modulo Scheduling for Loop with Conditional Branche.. - Warter - 1992
44 A Survey of High-Level Synthesis Systems (context) - Walker, Camposano - 1991
43 Kluwer Academic Publishers (context) - Hachtel, Somenzi et al. - 1996
42 Optimizing Resource Utilization Using Transformations (context) - Potkonjak, Rabaey - 1994
41 Parallelizing Applications into Silicon - Babb - 1999
40 A Scheduling Algorithm for Conditional Resource Sharing __ A.. (context) - Kim, Yonezava et al. - 1994
38 Global Scheduling Independent of Control Dependencies Based .. (context) - Wakabayashi, Tanaka - 1992
38 Global Optimization Approach for Architectural Synthesis (context) - Gebotys, Elmasry - 1993
35 On OBDD-Representation of General Boolean Functions (context) - Liaw, Lin - 1992
31 Introduction to High-Level Synthesis (context) - Gajski, Ramachandran - 1994
30 Algorithms for Address Assignment in DSP Code Generation - Leupers, Marwedel - 1996
28 Algorithms for Approximate FSM Traversal (context) - Cho - 1993
27 Percolation Based Synthesis (context) - Potasman, Lis et al. - 1990
27 Code Optimization Techniques for Embedded DSP Microprocessor.. - Liao - 1995
26 Symmetry Detection and Dynamic Variable Ordering of Decision.. - Panda, Somenzi et al. - 1994
24 Design Tools for Intelligent Silicon Compilation (context) - Pangrle, Gajski - 1987
24 Relative Scheduling under Timing Constraints (context) - Ku, De Micheli - 1990
24 A New Symbolic Technique for ControlDependent Scheduling (context) - Radivojevi, Brewer - 1996
23 Loop Winding -- A Data Flow Approach to Functional Pipelinin.. (context) - Girczyc - 1987
22 Incremental Tree Height Reduction For High Level Synthesis (context) - Nikolau, Potasman - 1991
22 Global Code Generation for Instruction-Level Parallelism: Tr.. (context) - Fisher - 1993
21 Efficient Breadth-First Manipulation of Binary Decision Diag.. (context) - Ashar, Cheong - 1994
20 Eliminating Branches using a Superoptimizer and the GNU C Co.. - Granlund, Kenner - 1992
20 Algorithms and Data Structures in VLSI Design (context) - Meinel, Theobald - 1998
20 ECL: A specification environment for systemlevel design - Lavagno, Sentovich - 1999
19 Higher Level Specification and Verification with BDD's - Hu - 1993
19 CUDD: Colorado University Decision Diagram Package (context) - Somenzi - 2000
18 Architectural Synthesis for DSP Silicon Compiler (context) - Haroun, Elmasry - 1989
17 Binary Decision Diagrams and Applications for VLSI CAD (context) - Minato - 1995
17 Wavesched: A Novel Scheduling Technique for Control-Flow Int.. - Lakshminarayana, Khouri et al. - 1999
17 Dynamic Variable Ordering for Binary Decision Diagrams (context) - Rudell - 1993
17 A Resource Sharing and Control Synthesis Method for Conditio.. (context) - Wakabayashi, Yoshimura - 1989
15 Loop Optimization in Register-Transfer Scheduling for DSP-sy.. (context) - Goosens - 1989
15 Multi-valued Decision Diagrams (context) - Kam, Brayton - 1990
15 An Effective Methodology for Functional Pipelining (context) - Lee - 1994
15 VLSI Digital Signal Processing Systems: Design and Implement.. (context) - Parhi - 1999
15 Scheduling using Behavioral Templates (context) - Ly - 1995
15 The Mimola Design System: Tools for the design of digital pr.. (context) - Marwedel - 1984
14 Retargetable Generation of Code Selectors from HDL Processor.. - Leupers, Marwedel - 1997
14 The Princeton University Behavioral Synthesis System (context) - Wolf - 1992
14 Dynamic Scheduling and Synchronization Synthesis of Concurre.. - Jr, De Micheli - 1994
14 The Combination of Scheduling, Allocation, and Mapping in a .. (context) - Cloutier, Thomas - 1990
14 A Tree-Based Scheduling Algorithm for Control Dominated Circ.. (context) - Huang - 1993
14 Time Constrained Code Compaction for DSPs - Leupers, Marwedel - 1997
12 Clairvoyant: A Synthesis System for Production -based Specif.. (context) - Seawright, Brewer - 1994
12 A Transformation-Based Method for Loop Folding (context) - Lee - 1994
12 High-Level DSP Synthesis Using Concurrent Transformations, S.. (context) - Wang, Parhi - 1995
12 Global Scheduling with Code Motions for High-Level Synthesis.. (context) - Rim, Fan et al. - 1995
12 A BDD-based Frontend for Retargetable Compilers - Leupers, Marwedel - 1995
12 Execution Interval Analysis under Resource Constraints - Timmer, Jess - 1993
11 A New Algorithm for the Binate Covering Problem and its Appl.. (context) - Jeong, Somenzi - 1992
10 Push-Up Scheduling: Optimal PolynomialTime Resource-Constrai.. - Passos, Sha - 1995
10 Resource-Constrained Software Pipelining - Aiken - 1995
10 Chippe: A System for Constraint Driven Behavioral Synthesis (context) - Brewer, Gajski - 1990
9 Efficient Encoding Schemes for the Symbolic Analysis of Petr.. - Pastor, Cortadella - 1998
9 Optimizing Synchronous Circuits by Retiming (context) - Leiserson - 1983
9 Zone Scheduling (context) - Hwang, Hsu - 1993
9 Exact Scheduling Strategies based on Bipartite Graph Matchin.. - Timmer, Jess - 1995
9 Redundant Operation Creation: A Scheduling Optimization Tech.. (context) - Lobo, Pangrle - 1991
8 Condition Graphs for HighQuality Behavioral Synthesis (context) - Juan, Chaiyakul et al. - 1994
8 An Automaton Model for Scheduling Constraints in Synchronous.. (context) - Takach, Wolf et al.
7 Representing Conditional Branches for High-Level Synthesis A.. (context) - Rim, Jain - 1992
6 The IBM High-Level Synthesis System (context) - Camposano - 1991
6 Symbolic Modeling and Evaluation of Data Paths - Monahan, Brewer - 1995
5 Synthesis of VLSI Designs with Symbolic Techniques (context) - Lin - 1991
5 From Design Space Exploration to Code Generation (context) - Timmer - 1996
5 A Graph Based Processor Model for Retargetable Code Generati.. - Van Praet - 1996
5 Symbolic simulation of the JEM1 microprocessor (context) - Greve - 1998
5 Time-Constrained Loop Pipelining - Sanchez, Cortadella - 1995
5 Scheduling Constraint Generation for Communicating Processes - Takach, Wolf - 1995
4 An efficient graph algorithm for FSM scheduling (context) - Yen - 1996
4 Efficient Encoding for Exact Symbolic AutomataBased Scheduli.. (context) - Haynal, Brewer - 1998
4 Least Fixpoint Approximations for Reachability Analysis - Moon - 1999
4 Interface Synthesis: A Vertical Slice from Digital Logic to .. (context) - Borriello - 1998
4 Personal communication (context) - Hsu - 2000
3 Scheduling and Control Generation with Environmental Constra.. (context) - Yang, De Micheli et al. - 1996
3 A New Approach to Pipeline Optimisation (context) - Mallon, Denyer - 1990
3 Embedded System Co-Design: Towards Portability and Rapid Int.. (context) - Borriello - 1995
3 Throughput Optimized Architectural Synthesis (context) - Gebotys - 1993
3 An Implementation of GURPR*: A Software Pipelining Algorithm - Bockhaus - 1992
2 Model for Scheduling Protocol-Constrained Components and Env.. (context) - Haynal, Brewer - 1999
2 Optimal Scheduling of Finite-State Machines (context) - Yen, Wolf - 1993
2 A Design Environment for the Synthesis of Integrated Circuit.. (context) - Camposano, Rosenstiel - 1985
2 Personal communication (context) - Torres - 2000
2 Superpipelined Control and Data Path Synthesis (context) - Prabu, Pangrle - 1992
2 A Code-Motion Pruning Technique for Global Scheduling - Santos - 2000
2 Improving the Efficiency of BDD-Based Operators by Means of .. (context) - Cabodi - 1999
1 PYSCHED: A Python Implementation of Automata-Based Symbolic .. (context) - Haynal - 2000
1 BDD-Based Manipulation of Polynomials and Its Applications (context) - Minato - 1995
1 Symbolic Scheduling Techniques (context) - Radivojevi - 1996
1 Behavioral Synthesis (context) - Knapp - 1996
1 Python: An Interpreted, Interactive, Object-Oriented Program.. (context) - van Rossum - 2000
1 Combinatorial Optimization: Algroithms and Complexity (context) - Papadimitriou, Steiglitz - 1982
1 A BDD Model for Scheduling (context) - Yang, Gu - 1991
1 Automata-Based Scheduling for Looping DFGs (context) - Haynal, Brewer - 1999
1 Superoptimizer -- A Look at the Smallest Problem (context) - Massalin - 1987
1 Allocation Algorithms Based on Path Analysis (context) - Bergamaschi - 1992
1 High-Level Synthesis: Current Status and Future Prospects (context) - Cheng, Xia - 1995
1 Scheduling Issues in the Co-Synthesis of Reactive Real- 162 .. (context) - Chou - 1994
1 Understanding Behavioral Synthesis: A Practical Guide to Hig.. (context) - Elliot - 1999
1 PYCUDD: A Python Interface for CUDD (context) - Haynal - 2000
1 Scheduling and Binding Bounds for RT-Level Symbolic Executio.. - Monahan, Brewer - 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC