Forrest Brewer

Professor

Electrical & Computer Engineering

Forrest Brewer

Contacts

Department of Electrical and Computer Engineering
University of California, Santa Barbara
Santa Barbara, CA 93106-9560

tel: (805) 729-1410
fax: (805) 893-3262
forrest@ece.ucsb.edu

Personal web site

Research Description

VLSI design and coupled tools development based on systematic and formal approaches as well as heuristic analysis. Processor and controller development for embedded, low power and environmentally challenged applications. Interfacing and sampling-based mixed signal design aimed a high loop bandwidth, extreme low power control. Low Power Control: This work started one year ago seeks to drastically reduce the power consumption of digital feedback controller which have become ubiquitous in embedded systems used in cars, appliances and portable phones. The essential issue is that control algorithms perform largely repetitive tasks on data that is usually slowly changing, or changing at rates defined by physically limited systems. All current approaches to these systems rely on general purpose or DSP specific computers, neither of which exploiting this property. These assumptions are particularly pernicious in the case of MEMS (micro mechanical systems). Scaling of the physical size leads to increasing loop bandwidth requirements making the excess power dissipation even greater. Our first efforts in this line were hardware multi-threaded processors which could exploit the bursty nature of control computations. This effort is multi-disciplinary and includes collaborations with Prof. Roy Smith (Controls), Prof. Tim Sherwood (Architecture), and Prof. Kim Turner (Mechanical Engineering). This work has already lead to a major funding request. Fault Tolerance: (EDAC) Work begun two years ago into the issue of local fault tolerance has germinated into a study of circuit efficient design techniques for SER and MER in digital systems. This work is based on a simple Boolean matrix extension property and has led to two publications (one recently submitted) and a pending patent. The technique allows optimal linear code trade-off from TMR to Hamming with constructed designs. In 90nm technology, this allows EDAC faster than memory access with 5% overhead in memory space, these are the fastest and smallest known results. This effort also led to a current patent pending held by UCSB. PBS+/TDL: is a digital system design language based on a notion of latency tolerant structures in which correctnes is conserved for all implementations of the spec -- but preformance is subject to the design decisions. Based loosely on synchronous event languages like Bluespec and on our own PBS+ (regular expression) protocol specification, TDL allows very concise description of digital computing systems -- for example a few pages of TDL create a synthesizable Verilog spec for a multi-threaded AVR processor, which synthesizes to a high performance (400MHz+ in 0.15um) design nearly automatically. We are actively developing elastic clocking for this language to furhter enhance performance and lower the power requirments.

Research Groups

Biography

Professor Brewer joined the UCSB faculty in 1988, he was formerly a consulting engineer and a senior engineer at Northrop Corp. Advanced Technology Division. His research interests are in VLSI design as well as computer aided design tools and analysis. Recent work is in the development of a family of specialized microprocessors for low-power/ high-performance embedded closed loop control. This work spans mixed signal design at the sensor and actuator interfaces to multi-threaded digital system design in the digital processing parts. By using multi-threading and other architectural tricks, substantial power reduction and performance improvement is possible when compared to commodity DSP processors for this problem. A related issue in this domain is fault tolerance in the controller as such controllers are often deployed in nasty environments such as automobiles or space applications. He also works on formal techniques for design representation and related software tools as well as generic chip feasibility and design analysis which are done on a consulting basis. An example of the formal work is the processor designs above, which are specified in TDL, a very high level language which provides latency tolerance as well as eliminating a large number of critical paths in the resulting core.


Selected Publications

  • A Case Study of Multi-Threading in the Embedded Space, Proc. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2006, pp 357-367, G. Hoover, T. Sherwood, F. Brewer
  • Extensible Control Architectures, Proc. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2006, pp 323 - 333, G. Hoover, T. Sherwood, F. Brewer
  • Fault Tolerant Finite State Control using Low Density Parity Checking, NASA Symposium on VLSI, 2006, G. Hoover, F. Brewer
  • Millimeter-Wave CMOS Circuit Design, IEEE Trans. Microwave Theory and Techniques, vol. 53, no. 2, 2005, 472-477, H. Shigematsu, M. Sato, T. Hirose, F. Brewer, M. Rodwell
  • Buffer Delay Change in the Presence of Power and Ground Noise, IEEE Transactions on VLSI, Volume: 11, Issue: 3, 2003, 461 - 473, L. Chen, M. Marek-Sadowska, F. Brewer
  • Symbolic NFA Synthesis of a RISC Microprocessor, IEEE Transactions on VLSI, Volume: 10, Issue: 4, 2002, 429 - 434, S. Haynal, F. Brewer
  • Automata-Based Symbolic Scheduling for Looping DFG's, IEEE Trasactions on Computers, v. 50, no. 3, 2001, 250-267, S. Haynal, F. Brewer
  • Automata-Based Symbolic Scheduling for Looping DFGs, IEEE Trans. on Computers, 2000, S. Haynal, F. Brewer
  • Power and Signal Integrity Improvement in Ultra High-Speed Current Mode Logic, Int. Conf. on Circuits and Systems, 1999, H. Ha, F. Brewer
  • Efficient Encoding for Exact Symbolic Automata-Based Scheduling, IEEE Int. Conf. Computer-Aided Design, 1998, 477-481, S. Haynal, F. Brewer
  • Clairvoyant: A Synthesis System for Production-Based Specification, IEEE Transactions on VLSI, vol 2, no. 2, 1994 (republished 2001), 172-185, A. Seawright, F. Brewer