Prof. Forrest Brewer

Forrest Brewer graduated from the University of Illinois, Urbana-Champaign with a Ph.D. in computer science in 1988. He received his Bachelor of Science with honors in Physics from the California Institute of Technology in 1980. Professionally, he worked as a senior design engineer at Northrop Corp. for 4 years and since 1988 is an Associate Professor at the University of California, Santa Barbara

Professor Brewers research is in application of Boolean symbolic techniques in several areas of High-Level Synthesis and specification. This work has lead to practical systematic techniques for scheduling control/data-flow graphs with code motion, NFA specification and synthesis of finite state machine controllers, and re-scheduling and re-synthesis of partially completed designs (incremental design change control). Professor Brewers group publishes and distributes 2 public-domain software packages: the HomeBrew C++ class library and BDD package, and the PBS NFA specification synthesizer. The PBS work underlies the Synopsys Protocol Compiler NFA specification/synthesis package.

Email address:

©2002-2018 U.C. Regents