Brewer, Forrest D. - Department of Electrical and Computer Engineering, University of California at Santa Barbara

Advanced Search

Brewer, Forrest D. - Department of Electrical and Computer Engineering, University of California at Santa Barbara

1. Introduction Operation scheduling is the process of assigning opera-
Abstract -This paper describes a symbolic formulation that allows incorporation of speculative operation execution (pre-
to appear at the 29th Design Automation Conference This paper describes a model for, and an implementa-
Applications implementing complex protocols tax the capabilities of conventional finite state machine synthesis
This paper presents a technique for highly con-strained event sequence scheduling. System
1. ABSTRACT This paper presents an efficient encoding and
UNIVERSITY OF CALIFORNIA Santa Barbara
Communication Driven Interconnect Synthesis February 25, 1995 1 Communication Driven Interconnect
Symbolic Scheduling Techniques 1 Ivan Radivojevi c, Forrest Brewer
1. Introduction Heuristic scheduling (path-based[2]
optimality and is run-time efficient. The solution for the complex control case relies directly on having available the totality of solutions for the scheduling problem. Future research includes formulation of operation pre-execu-
1. Introduction Binary decision diagrams (BDD) are used in a wide variety of
Automata-Based Symbolic Scheduling
Optimization of hardware resources for conditional data-flow graph behavior is particularly important when
Abstract Techniques for constructing synchronous sequen-tial machines with associated data paths from an input format
Clairvoyant: A Synthesis System for Production-Based Specification IEEE Transactions on VLSI Systems 1 Clairvoyant: A Synthesis System for Production-Based Specification
*This work has been supported in part by UC MICRO 94-024 and with the generous support of Mentor Graphics Corp.
1 Introduction The goal of this work is to provide an accurate and con-
SHAPE-BASED SEQUENTIAL MACHINE ANALYSIS Andrew Crews, Forrest Brewer
POWER AND SIGNAL INTEGRITY IMPROVEMENT IN ULTRA HIGH-SPEED CURRENT MODE LOGIC
Representing and Scheduling Looping Behavior Symbolically Steve Haynal, Forrest Brewer
* This work has been generously supported by UC MICRO 96-142 and Mentor Graphics Corp.
* This work has been generously supported by UC MICRO 95-021 and Mentor Graphics Corp.
UNIVERSITY OF CALIFORNIA Santa Barbara