Symbolic Techniques in High Level Synthesis

University of California, Santa Barbara

People

Prof. Forrest Brewer
Xin Hao
Greg Hoover
Aravind Vijayakumar

Alumni

Andrew Crews
Hien Ha
Steve Haynal
Jon Hsu
Chao Huang
Imran Khan
Scott Masch
Chuck Monahan
Saygun Onay
Ivan Radivojevic
Andrew Seawright
Tony Stornetta
Mike Torres
Yue Zeng

Research

»	Production Based Specification (PBS)
»	Data-path Analysis
»	Symbolic Scheduling
»	Automata-Based Symbolic Scheduling
»	XPIC

Download

»	PYABSS: Python implementation of Automata-Based Symbolic Scheduling
»	HomeBrew C++ BDD Package
»	PyCUDD: Python Interface to the CUDD BDD Package
»	Synthetic DFG Scheduling Benchmarks

Publications

Classes

ECE 124a
ENGR5a
ECE256bd
ECE 124d/ECE 256c
ECE 224a
ECE 224b

Support

We gratefully acknowledge the support of the following organizations:

INTEL Corporation
National Science Foundation
Semiconductor Research Corporation