Andrew Seawright

Publication Activity (10 Years)

Years Active: 1990-2009
Publications (10 Years): 0

Publications

Jiang Long, Andrew Seawright, Paparao Kavalipati
Multi-clock SVA synthesis without re-writing. ASP-DAC (2009)
Jiang Long, Andrew Seawright
Synthesizing SVA Local Variables for Formal Verification. DAC (2007)
Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng
RTL c-based methodology for designing and verifying a multi-threaded processor. DAC (2002)
Andrew Seawright, Wolfgang Meyer
Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions. DAC (1998)
Wolfgang Meyer, Andrew Seawright, Fumiya Tada
Design and Synthesis of Array Structured Telecommunication Processing Applications. DAC (1997)
Raul Camposano, Andrew Seawright, Joseph Buck
Modeling and synthesis of behavior, control and dataflow (tutorial). ICCAD (1997)
Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe
A system for compiling and debugging structured data processing controllers. EURO-DAC (1996)
Andrew Seawright, Forrest Brewer
Clairvoyant: a synthesis system for production-based specification. IEEE Trans. Very Large Scale Integr. Syst. 2 (2) (1994)
Andrew Seawright, Forrest Brewer
High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. DAC (1993)
Andrew Seawright, Forrest Brewer
High performance data-path synthesis via communication metrics. Great Lakes Symposium on VLSI (1992)
Andrew Seawright, Forrest Brewer
Synthesis from Production-Based Specifications. DAC (1992)
Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright
Relevant Issues in High-Level Connectivity Synthesis. DAC (1991)
Forrest Brewer, Barry M. Pangrle, Andrew Seawright
Interconnection synthesis with geometric constraints. MICRO (1990)