Selected High-Level Synthesis Publications
-
F. Brewer, B. Pangrle, A. Seawright, "Interconnection Synthesis with
Geometric
Constraints", Proc. MICRO-23, pp. 158-165, 1990.
-
A. Crews, F. Brewer, "Shape-Based
Sequential Machine Analysis
", Int. Conf. on Circuits and Systems
,
pp. , 1999.
-
A. Crews, F. Brewer, "Controller
Optimization for Protocol Intensive Applications", Proc. of
Euro-DAC
96, pp. 140-145, 1996.
-
J. Greenbaum, F. Brewer, "Interface Constrained Processor Specification
and Scheduling", Proc. 2nd Great Lakes Symp. on VLSI, pp.
168-175,
1992.
-
H. Ha, F. Brewer, "Power
and Signal Integrity Improvement in Ultra High-Speed Current Mode Logic",
Int.
Conf. on Circuits and Systems
, pp. , 1999.
-
S. Haynal, Automata-Based
Symbolic Scheduling, Ph.D. Dissertation, University of
California,
Santa Barbara, 2000.
-
S. Haynal, F. Brewer, "Automata-Based Symbolic Scheduling for Looping
DFGs",
IEEE
Trans. on Computers, to appear, 2000.
-
S. Haynal, F. Brewer, "Representing
and Scheduling Looping Behavior Symbolically", IEEE Int. Conf.
Computer
Design, pp. 552-555, 2000.
-
S. Haynal, F. Brewer, "A
Model for Scheduling Protocol-Constrained Components and Environments",
Proc.
36th ACM/IEEE Design Automation Conf., pp. 292-295, 1999.
-
S. Haynal, F. Brewer, "Efficient
Encoding for Exact Symbolic Automata-Based Scheduling", IEEE
Int.
Conf. Computer-Aided Design, pp. 477-481, 1998.
-
C. Monahan, F. Brewer, "Scheduling
and Binding Bounds for RT-Level Symbolic Execution", Proc. IEEE
Int. Conf. Computer-Aided Design, pp. 230-235, 1997.
-
C. Monahan, "Symbolic
Data Path Analysis", Ph.D. Thesis, 1997.
-
C. Monahan, F. Brewer, "Concurrent
Analysis Techniques for Data Path Timing Optimization", Proc.
33rd
ACM/IEEE Design Automation Conf., pp. 47-50, 1996.
-
C. Monahan, F. Brewer, "Symbolic
Execution of Data Paths", Proc. of 5th Great Lakes Symp. on VLSI,
pp. 80-85, 1995.
-
C. Monahan, F. Brewer, "Symbolic
Modeling and Evaluation of Data Paths", Proc. 32nd ACM/IEEE
Design
Automation Conf., pp. 389-394, 1995.
-
C. Monahan, F. Brewer, "Communication
Driven Interconnection Synthesis", Proc. 6th Int. Workshop on
High-Level
Synthesis, 1992.
-
B. Pangrle, F. Brewer, D. Lobo, A. Seawright, "Relevant Issues in
High-Level
Connectivity Synthesis" (slides),
Proc.
28th ACM/IEEE Design Automation Conf., pp. 607-610, 1991.
-
I. Radivojevic, "Symbolic
Scheduling Techniques", Ph.D. Thesis, 1996.
-
I. Radivojevic, F. Brewer, "A New Symbolic Technique for
Control-Dependent
Scheduling", IEEE Trans. CAD/ICAS, vol. 15, no. 1, pp. 45-57,
Jan.
1996.
-
I. Radivojevic, F. Brewer, "Symbolic
Scheduling Techniques", IEICE Trans. Information and Systems,
vol. e78-d, no. 3, pp. 224-230, March 1995.
-
I. Radivojevic, F. Brewer, "Analysis
of Conditional Resource Sharing Using a Guard-based Control
Representation",
Proc.
Int. Conf. Computer Design, pp. 434-439, 1995.
-
I. Radivojevic, F. Brewer, "On
Applicability of Symbolic Techniques to Larger Scheduling Problems",
Proc.
European Design and Test Conf., pp. 48-53, 1995.
-
I. Radivojevic, F. Brewer, "Ensemble
Representation and Techniques for Exact Control-Dependent Scheduling",
Proc.
7th Int. Symp. High-Level Synthesis, pp. 60-65, 1994.
-
I. Radivojevic, F. Brewer, "Incorporating
Speculative Execution in Exact Control-Dependent Scheduling", Proc.
31st ACM/IEEE Design Automation Conf., pp. 479-484, 1994.
-
I. Radivojevic, F. Brewer, "Symbolic
Techniques for Optimal Scheduling", Proc. 4th Synthesis and
Simulatin
Meeting and International Interchange (SASIMI), pp. 145-154, 1993.
-
A. Seawright, "Grammar-Based Specification and Synthesis for
Synchronous
Digital Hardware Design", Ph.D. Thesis, 1994.
-
A. Seawright, F. Brewer, "Clairvoyant:
A Synthesis System for Production-based Specification",
Proc.
IEEE Trans. on VLSI Systems, vol. 2, no. 2, pp. 172-185, June 1994.
-
A. Seawright, F. Brewer, "High-level
Symbolic Construction Techniques for High Performance Sequential
Synthesis"
(circuit),
Proc.
30th ACM/IEEE Design Automation Conf., pp. 424-428, 1993.
-
A. Seawright, F. Brewer, "Synthesis
from Production-based Specifications" (slides),
Proc.
29th ACM/IEEE Design Automation Conf., pp. 194-199, 1992.
-
A. Seawright, F. Brewer, "High Performance Data-Path Synthesis via
Communication
Metrics", Proc. of 2nd Great Lakes Symp. on VLSI, pp. 60-67,
1992.
-
T. Stornetta, F. Brewer, "Implementation
of an Efficient Parallel BDD Package", Proc. of 33rd ACM/IEEE
Design
Automation Conf., pp. 641-644, 1996.