Forrest Brewer

75 papers A* 14A 9B 2C 10Misc 7Journal 13Unranked 19

Year	Rank	Type	Title / Venue / Authors
2021	J	`jnl`	Multiwire Phase Encoding: A Signaling Strategy for High-Bandwidth, Low-Power Data Movement. IEEE Trans. Very Large Scale Integr. Syst. Prashansa Mukim, Forrest Brewer
2020	J	`jnl`	Design and Analysis of Collective Pulse Oscillators. IEEE Trans. Very Large Scale Integr. Syst. Prashansa Mukim, Aditya Dalakoti, David McCarthy, Carrie Segal, Merritt Miller, James F. Buckwalter, Forrest Brewer
2019	—	`conf`	Direct ΣΔ Bitstream Processing for High Performance Feedback Control. CCTA Joseph Poverelli, Forrest Brewer
2019	—	`conf`	Distributed Pulse Rotary Traveling Wave VCO: Architecture and Design. ISVLSI Prashansa Mukim, Aditya Dalakoti, David McCarthy, Brandon Pon, Carrie Segal, Merritt Miller, James F. Buckwalter, Forrest Brewer
2018	—	`conf`	Impolite High Speed Interfaces with Asynchronous Pulse Logic. ACM Great Lakes Symposium on VLSI Merritt Miller, Carrie Segal, David McCarthy, Aditya Dalakoti, Prashansa Mukim, Forrest Brewer
2017	—	`conf`	Design and analysis of high performance pulse ring VCO. NORCAS Aditya Dalakoti, Merritt Miller, Forrest Brewer
2017	—	`conf`	High performance pulse ring voltage controlled oscillator for Internet of Things. ISOCC Aditya Dalakoti, Merritt Miller, Forrest Brewer
2017	Misc	`conf`	Low Complexity and Critical Path Based VLSI Architecture for LMS Adaptive Filter Using Distributed Arithmetic. VLSID Mohd. Tasleem Khan, Shaik Rafi Ahamed, Forrest Brewer
2017	—	`conf`	Low phase noise pulse rotary wave voltage controlled oscillator. ISOCC Merritt Miller, Aditya Dalakoti, Prashansa Mukim, Forrest Brewer
2017	C	`conf`	Pulse Ring Oscillator Tuning via Pulse Dynamics. ICCD Aditya Dalakoti, Merritt Miller, Forrest Brewer
2016	Misc	`conf`	A Novel Co-design Methodology for Optimizing ESD Protection Device Using Layout Level Approach. VLSID Vishnuram Abhinav, Dheeraj Kumar Sinha, Amitabh Chatterjee, Forrest Brewer
2016	—	`conf`	Asynchronous High Speed Serial Links Analysis using Integrated Charge for Event Detection. ACM Great Lakes Symposium on VLSI Aditya Dalakoti, Carrie Segal, Merritt Miller, Forrest Brewer
2016	—	`conf`	Connectivity Effects on Energy and Area for Neuromorphic System with High Speed Asynchronous Pulse Mode Links. SLIP Carrie Segal, Aditya Dalakoti, Merritt Miller, Forrest Brewer
2013	—	`conf`	A hierarchical Ant-Colony heuristic for architecture synthesis for on-chip communication. DASIP Wei Tang, Forrest Brewer
2013	A	`conf`	Formal verification of analog circuit parameters across variation utilizing SAT. DATE Merritt Miller, Forrest Brewer
2013	Misc	`conf`	Ongoing challenges in automated cyberphysical cross-domain design. ICNC Kunal Arya, Joseph Poverelli, Forrest Brewer
2011	B	`conf`	Automated MAC Protocol Generation with Multiple Neighborhoods and Acknowledgments Based on Symbolic Monte Carlo Simulation. GLOBECOM Jian Zhen, Forrest Brewer, Volkan Rodoplu
2010	B	`conf`	A Methodology for Optimal MAC Protocol Generation: Case Study of a Synchronous MAC Channel. GLOBECOM Jian Zhen, Forrest Brewer, Volkan Rodoplu
2010	C	`conf`	Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). MEMOCODE Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer
2009	C	`conf`	2009 MEMOCODE Co-Design Contest. MEMOCODE Forrest Brewer, James C. Hoe
2009	C	`conf`	Control design for force balance sensors. ACC Zi Yie, Nitin Kataria, Chris Burgner, Karl Åström, Forrest Brewer, Kimberly L. Turner
2009	Misc	`conf`	Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. VLSI Design Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood
2009	J	`jnl`	Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems. J. Low Power Electron. Nitin Kataria, Forrest Brewer, João Pedro Hespanha, Timothy Sherwood
2008	J	`jnl`	Advances in ESL Design. IEEE Des. Test Comput. Rajesh Gupta, Arvind, Gérard Berry, Forrest Brewer
2008	—	`conf`	Computationally efficient methods for digital control. CDC Duarte Antunes, João Pedro Hespanha, Carlos Jorge Ferreira Silvestre, Nitin Kataria, Forrest Brewer
2008	C	`conf`	Latency-Insensitive Hardware/Software Interfaces. MEMOCODE Greg Hoover, Forrest Brewer, Chris Gill
2008	C	`conf`	Pulse-mode link for robust, high speed communications. ISCAS Merritt Miller, Greg Hoover, Forrest Brewer
2008	J	`jnl`	Structural integrity: safety in miniature technology. SIGBED Rev. Greg Hoover, Forrest Brewer, Timothy Sherwood
2008	A	`conf`	Synthesizing Synchronous Elastic Flow Networks. DATE Greg Hoover, Forrest Brewer
2007	C	`conf`	MEMOCODE 2007 Co-Design Contest. MEMOCODE Forrest Brewer, James C. Hoe
2007	Misc	`conf`	Towards understanding architectural tradeoffs in MEMS closed-loop feedback control. CASES Greg Hoover, Forrest Brewer, Timothy Sherwood
2006	Misc	`conf`	A case study of multi-threading in the embedded space. CASES Greg Hoover, Forrest Brewer, Timothy Sherwood
2006	Misc	`conf`	Extensible control architectures. CASES Greg Hoover, Forrest Brewer, Timothy Sherwood
2006	A	`conf`	Layout driven data communication optimization for high level synthesis. DATE Ryan Kastner, Wenrui Gong, Xin Hao, Forrest Brewer, Adam Kaplan, Philip Brisk, Majid Sarrafzadeh
2005	C	`conf`	PyPBS design and methodologies. MEMOCODE Greg Hoover, Forrest Brewer
2005	A	`conf`	RTL SAT simplification by Boolean and interval arithmetic reasoning. ICCAD Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer
2005	A*	`conf`	Structural search for RTL with predicate learning. DAC Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer
2005	A	`conf`	Weighted control scheduling. ICCAD Aravind Vijayakumar, Forrest Brewer
2005	A	`conf`	Wirelength optimization by optimal block orientation. ICCAD Xin Hao, Forrest Brewer
2003	J	`jnl`	Buffer delay change in the presence of power and ground noise. IEEE Trans. Very Large Scale Integr. Syst. Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer
2003	—	`conf`	Nano, quantum, and molecular computing: are we ready for the validation and test challenges? HLDVT Sandeep K. Shukla, Ramesh Karri, Seth Copen Goldstein, Forrest Brewer, Kaustav Banerjee, Sankar Basu
2002	A*	`conf`	Coping with buffer delay change due to power and ground noise. DAC Lauren Hui Chen, Malgorzata Marek-Sadowska, Forrest Brewer
2002	J	`jnl`	Symbolic NFA scheduling of a RISC microprocessor. IEEE Trans. Very Large Scale Integr. Syst. Forrest Brewer, Steve Haynal
2001	J	`jnl`	Automata-Based Symbolic Scheduling for Looping DFGs. IEEE Trans. Computers Steve Haynal, Forrest Brewer
2000	J	`jnl`	AQUILA: An Equivalence Checking System for Large Sequential Designs. IEEE Trans. Computers Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, Chung-Yang Huang, Forrest Brewer
2000	C	`conf`	Representing and Scheduling Looping Behavior Symbolically. ICCD Steve Haynal, Forrest Brewer
1999	A*	`conf`	A Model for Scheduling Protocol-Constrained Components and Environments. DAC Steve Haynal, Forrest Brewer
1999	—	`conf`	Power and signal integrity improvement in ultra high-speed current mode logic. ISCAS (1) Hien Ha, Forrest Brewer
1999	—	`conf`	Shape-based sequential machine analysis. ISCAS (1) Andrew Crews, Forrest Brewer
1998	A	`conf`	Efficient encoding for exact symbolic automata-based scheduling. ICCAD Steve Haynal, Forrest Brewer
1997	A	`conf`	Scheduling and binding bounds for RT-level symbolic execution. ICCAD Chuck Monahan, Forrest Brewer
1996	J	`jnl`	A new symbolic technique for control-dependent scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ivan P. Radivojevic, Forrest Brewer
1996	A	`conf`	Clock skew optimization for ground bounce control. ICCAD Ashok Vittal, Hein Ha, Forrest Brewer, Malgorzata Marek-Sadowska
1996	A*	`conf`	Concurrent Analysis Techniques for Data Path Timing Optimization. DAC Chuck Monahan, Forrest Brewer
1996	—	`conf`	Controller optimization for protocol intensive applications. EURO-DAC Andrew Crews, Forrest Brewer
1996	A*	`conf`	Implementation of an Efficient Parallel BDD Package. DAC Tony Stornetta, Forrest Brewer
1995	C	`conf`	Analysis of conditional resource sharing using a guard-based control representation. ICCD Ivan P. Radivojevic, Forrest Brewer
1995	—	`conf`	On applicability of symbolic techniques to larger scheduling problems. ED&TC Ivan P. Radivojevic, Forrest Brewer
1995	A*	`conf`	Symbolic Modeling and Evaluation of Data Paths. DAC Chuck Monahan, Forrest Brewer
1995	J	`jnl`	Symbolic Scheduling Techniques. IEICE Trans. Inf. Syst. Ivan P. Radivojevic, Forrest Brewer
1995	—	`conf`	Symbolic execution of data paths. Great Lakes Symposium on VLSI Chuck Monahan, Forrest Brewer
1994	J	`jnl`	Clairvoyant: a synthesis system for production-based specification. IEEE Trans. Very Large Scale Integr. Syst. Andrew Seawright, Forrest Brewer
1994	—	`conf`	Ensemble representation and techniques for exact control-dependent scheduling. HLSS Ivan P. Radivojevic, Forrest Brewer
1994	A*	`conf`	Incorporating Speculative Execution in Exact Control-Dependent Scheduling. DAC Ivan P. Radivojevic, Forrest Brewer
1993	A*	`conf`	High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. DAC Andrew Seawright, Forrest Brewer
1992	—	`conf`	High performance data-path synthesis via communication metrics. Great Lakes Symposium on VLSI Andrew Seawright, Forrest Brewer
1992	—	`conf`	Interface constrained processor specification and scheduling. Great Lakes Symposium on VLSI Jack Greenbaum, Forrest Brewer
1992	A*	`conf`	Synthesis from Production-Based Specifications. DAC Andrew Seawright, Forrest Brewer
1991	A*	`conf`	DISC: Dynamic Instruction Stream Computer. MICRO Mario Nemirovsky, Forrest Brewer, Roger C. Wood
1991	A*	`conf`	Relevant Issues in High-Level Connectivity Synthesis. DAC Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright
1990	J	`jnl`	Chippe: a system for constraint driven behavioral synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Forrest Brewer, Daniel D. Gajski
1990	A*	`conf`	Interconnection synthesis with geometric constraints. MICRO Forrest Brewer, Barry M. Pangrle, Andrew Seawright
1988	—	`—`	Constraint Driven Behavioral Synthesis Forrest Brewer
1987	A*	`conf`	Knowledge Based Control in Micro-Architecture Design. DAC Forrest Brewer, Daniel Gajski
1986	A*	`conf`	An expert-system paradigm for design. DAC Forrest Brewer, Daniel Gajski