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)
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)
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
[Article contains additional citations not shown here]
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