Andrew Seawright

13 papers A* 8A 1Journal 1Unranked 3
YearRankTypeTitle / Venue / Authors
2009 — conf
Multi-clock SVA synthesis without re-writing.
ASP-DAC
Jiang Long, Andrew Seawright, Paparao Kavalipati
2007 A* conf
Synthesizing SVA Local Variables for Formal Verification.
DAC
Jiang Long, Andrew Seawright
2002 A* conf
RTL c-based methodology for designing and verifying a multi-threaded processor.
DAC
Luc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng
1998 A* conf
Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions.
DAC
Andrew Seawright, Wolfgang Meyer
1997 A* conf
Design and Synthesis of Array Structured Telecommunication Processing Applications.
DAC
Wolfgang Meyer, Andrew Seawright, Fumiya Tada
1997 A conf
Modeling and synthesis of behavior, control and dataflow (tutorial).
ICCAD
Raul Camposano, Andrew Seawright, Joseph Buck
1996 — conf
A system for compiling and debugging structured data processing controllers.
EURO-DAC
Andrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe
1994 J jnl
Clairvoyant: a synthesis system for production-based specification.
IEEE Trans. Very Large Scale Integr. Syst.
Andrew Seawright, 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 A* conf
Synthesis from Production-Based Specifications.
DAC
Andrew Seawright, Forrest Brewer
1991 A* conf
Relevant Issues in High-Level Connectivity Synthesis.
DAC
Barry M. Pangrle, Forrest Brewer, Donald A. Lobo, Andrew Seawright
1990 A* conf
Interconnection synthesis with geometric constraints.
MICRO
Forrest Brewer, Barry M. Pangrle, Andrew Seawright