Andrew Seawright

According to our database, Andrew Seawright authored at least 13 papers between 1990 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Multi-clock SVA synthesis without re-writing.

Jiang Long, Andrew Seawright, Paparao Kavalipati

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2007

Synthesizing SVA Local Variables for Formal Verification.

Jiang Long, Andrew Seawright

Proceedings of the 44th Design Automation Conference, 2007

2002

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

Proceedings of the 39th Design Automation Conference, 2002

1998

Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions.

Andrew Seawright, Wolfgang Meyer

Proceedings of the 35th Conference on Design Automation, 1998

1997

Modeling and synthesis of behavior, control and dataflow (tutorial).

Raul Camposano, Andrew Seawright, Joseph Buck

Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Design and Synthesis of Array Structured Telecommunication Processing Applications.

Wolfgang Meyer, Andrew Seawright, Fumiya Tada

Proceedings of the 34st Conference on Design Automation, 1997

1996

A system for compiling and debugging structured data processing controllers.

Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe

Proceedings of the conference on European design automation, 1996

1994

Clairvoyant: a synthesis system for production-based specification.

Andrew Seawright, Forrest Brewer

IEEE Trans. Very Large Scale Integr. Syst., 1994

1993

High-Level Symbolic Construction Technique for High Performance Sequential Synthesis.

Andrew Seawright, Forrest Brewer

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

High performance data-path synthesis via communication metrics.

Andrew Seawright, Forrest Brewer

Proceedings of the Second Great Lakes Symposium on VLSI, 1992

Synthesis from Production-Based Specifications.

Andrew Seawright, Forrest Brewer

Proceedings of the 29th Design Automation Conference, 1992

1991

Relevant Issues in High-Level Connectivity Synthesis.

Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright

Proceedings of the 28th Design Automation Conference, 1991

1990

Interconnection synthesis with geometric constraints.

Forrest Brewer, Barry M. Pangrle, Andrew Seawright

Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990