Symbolic Techniques in High Level Synthesis

University of California, Santa Barbara


People

Prof. Forrest Brewer
Xin Hao
Chao Huang
Aravind Vijayakumar
Yue Zeng
 

Alumni

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

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 CUDD BDD
Synthetic DFG Scheduling Benchmarks

Publications

Classes

ECE 124a
ENGR5a
ECE256bd
ECE 124d

[High Level Synthesis | CAD & Test | ECE Department | College of Engineering | UCSB]
Web Information/Comments: www@bears.ece.ucsb.edu