Interconnection synthesis with geometric constraints. - Forrest Brewer; Barry M. Pangrle; Andrew Seawright (MICRO, 1990)

Relevant Issues in High-Level Connectivity Synthesis. - Barry M. Pangrle; Forrest Brewer; Donald A. Lobo; Andrew Seawright (DAC, 1991)

Synthesis from Production-Based Specifications. - Andrew Seawright; Forrest Brewer (DAC, 1992)

High performance data-path synthesis via communication metrics. - Andrew Seawright; Forrest Brewer (Great Lakes Symposium on VLSI, 1992)

High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. - Andrew Seawright; Forrest Brewer (DAC, 1993)

Clairvoyant: a synthesis system for production-based specification. - Andrew Seawright; Forrest Brewer (IEEE Trans. Very Large Scale Integr. Syst., 1994)

A system for compiling and debugging structured data processing controllers. - Andrew Seawright; Joseph Buck; Ulrich Holtmann; Wolfgang Meyer 002; Barry M. Pangrle; Rob Verbrugghe (EURO-DAC, 1996)

Design and Synthesis of Array Structured Telecommunication Processing Applications. - Wolfgang Meyer 002; Andrew Seawright; Fumiya Tada (DAC, 1997)

Modeling and synthesis of behavior, control and dataflow (tutorial). - Raul Camposano; Andrew Seawright; Joseph Buck (ICCAD, 1997)

Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions. - Andrew Seawright; Wolfgang Meyer 002 (DAC, 1998)

RTL c-based methodology for designing and verifying a multi-threaded processor. - Luc Séméria; Renu Mehra; Barry M. Pangrle; Arjuna Ekanayake; Andrew Seawright; Daniel Ng (DAC, 2002)

Synthesizing SVA Local Variables for Formal Verification. - Jiang Long; Andrew Seawright (DAC, 2007)

Multi-clock SVA synthesis without re-writing. - Jiang Long; Andrew Seawright; Paparao Kavalipati (ASP-DAC, 2009)