BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Germany
9 × USA
Collaborated with:
A.Seawright C.Monahan D.Gajski M.Miller G.Hoover S.Haynal T.Stornetta I.P.Radivojevic L.H.Chen M.Marek-Sadowska G.Parthasarathy M.K.Iyer K.Cheng B.M.Pangrle D.A.Lobo R.Kastner W.Gong X.Hao A.Kaplan P.Brisk M.Sarrafzadeh
Talks about:
synthesi (4) high (4) level (3) data (3) techniqu (2) schedul (2) control (2) symbol (2) design (2) optim (2)

Person: Forrest Brewer

DBLP DBLP: Brewer:Forrest

Contributed to:

DATE 20132013
DATE 20082008
DATE 20062006
DAC 20052005
DAC 20022002
DAC 19991999
DAC 19961996
DAC 19951995
DAC 19941994
DAC 19931993
DAC 19921992
DAC 19911991
DAC 19871987
DAC 19861986

Wrote 15 papers:

DATE-2013-MillerB #parametricity #satisfiability #verification
Formal verification of analog circuit parameters across variation utilizing SAT (MM, FB), pp. 1442–1447.
DATE-2008-HooverB #network
Synthesizing Synchronous Elastic Flow Networks (GH, FB), pp. 306–311.
DATE-2006-KastnerGHBKBS #communication #layout #optimisation #synthesis
Layout driven data communication optimization for high level synthesis (RK, WG, XH, FB, AK, PB, MS), pp. 1185–1190.
DAC-2005-ParthasarathyICB #learning
Structural search for RTL with predicate learning (GP, MKI, KTC, FB), pp. 451–456.
Coping with buffer delay change due to power and ground noise (LHC, MMS, FB), pp. 860–865.
DAC-1999-HaynalB #component #scheduling
A Model for Scheduling Protocol-Constrained Components and Environments (SH, FB), pp. 292–295.
DAC-1996-MonahanB #analysis #concurrent #optimisation
Concurrent Analysis Techniques for Data Path Timing Optimization (CM, FB), pp. 47–50.
DAC-1996-StornettaB #implementation #parallel #performance
Implementation of an Efficient Parallel BDD Package (TS, FB), pp. 641–644.
DAC-1995-MonahanB #evaluation #modelling
Symbolic Modeling and Evaluation of Data Paths (CM, FB), pp. 389–394.
DAC-1994-RadivojevicB #execution #scheduling
Incorporating Speculative Execution in Exact Control-Dependent Scheduling (IPR, FB), pp. 479–484.
DAC-1993-SeawrightB #performance #synthesis
High-Level Symbolic Construction Technique for High Performance Sequential Synthesis (AS, FB), pp. 424–428.
DAC-1992-SeawrightB #specification #synthesis
Synthesis from Production-Based Specifications (AS, FB), pp. 194–199.
DAC-1991-PangrleBLS #synthesis
Relevant Issues in High-Level Connectivity Synthesis (BMP, FB, DAL, AS), pp. 607–610.
DAC-1987-BrewerG #architecture #design #knowledge base
Knowledge Based Control in Micro-Architecture Design (FB, DG), pp. 203–209.
DAC-1986-BrewerG #design #paradigm
An expert-system paradigm for design (FB, DG), pp. 62–68.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.