| 2009 | ASPDAC | Multi-clock SVA synthesis without re-writing. | Jiang Long, Andrew Seawright, Paparao Kavalipati |
| 2007 | DAC | Synthesizing SVA Local Variables for Formal Verification. | Jiang Long, Andrew Seawright |
| 2002 | DAC | RTL c-based methodology for designing and verifying a multi-threaded processor. | Luc Smria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng |
| 1998 | DAC | Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions. | Andrew Seawright, Wolfgang Meyer |
| 1997 | DAC | Design and Synthesis of Array Structured Telecommunication Processing Applications. | Wolfgang Meyer, Andrew Seawright, Fumiya Tada |
| 1997 | ICCAD | Modeling and synthesis of behavior, control and dataflow (tutorial). | Raul Camposano, Andrew Seawright, Joseph Buck |
| 1993 | DAC | High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. | Andrew Seawright, Forrest Brewer |
| 1992 | DAC | Synthesis from Production-Based Specifications. | Andrew Seawright, Forrest Brewer |
| 1991 | DAC | Relevant Issues in High-Level Connectivity Synthesis. | Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright |
| 1990 | MICRO | Interconnection synthesis with geometric constraints. | Forrest Brewer, Barry M. Pangrle, Andrew Seawright |