Andrew Seawright Vis

*	2009
11	EE	Jiang Long, Andrew Seawright, Paparao Kavalipati: Multi-clock SVA synthesis without re-writing. ASP-DAC 2009: 648-653
	2007
10	EE	Jiang Long, Andrew Seawright: Synthesizing SVA Local Variables for Formal Verification. DAC 2007: 75-80
	2002
9	EE	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: 123-128
	1998
8	EE	Andrew Seawright, Wolfgang Meyer: Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions. DAC 1998: 770-775
	1997
7	EE	Wolfgang Meyer, Andrew Seawright, Fumiya Tada: Design and Synthesis of Array Structured Telecommunication Processing Applications. DAC 1997: 486-491
6	EE	Raul Camposano, Andrew Seawright, Joseph Buck: Modeling and synthesis of behavior, control and dataflow (tutorial). ICCAD 1997
	1994
5	EE	Andrew Seawright, Forrest Brewer: Clairvoyant: a synthesis system for production-based specification. IEEE Trans. VLSI Syst. 2(2): 172-185 (1994)
	1993
4	EE	Andrew Seawright, Forrest Brewer: High-Level Symbolic Construction Technique for High Performance Sequential Synthesis. DAC 1993: 424-428
	1992
3	EE	Andrew Seawright, Forrest Brewer: Synthesis from Production-Based Specifications. DAC 1992: 194-199
	1991
2	EE	Barry M. Pangrle, Forrest Brewer, Donald Lobo, Andrew Seawright: Relevant Issues in High-Level Connectivity Synthesis. DAC 1991: 607-610
	1990
1	EE	Forrest Brewer, Barry M. Pangrle, Andrew Seawright: Interconnection synthesis with geometric constraints. MICRO 1990: 158-165

Coauthor Index

1	Forrest Brewer	[1] [2] [3] [4] [5]
2	Joseph Buck	[6]
3	Raul Camposano	[6]
4	Arjuna Ekanayake	[9]
5	Paparao Kavalipati	[11]
6	Donald Lobo	[2]
7	Jiang Long	[10] [11]
8	Renu Mehra	[9]
9	Wolfgang Meyer	[7] [8]
10	Daniel Ng	[9]
11	Barry M. Pangrle	[1] [2] [9]
12	Luc Séméria	[9]
13	Fumiya Tada	[7]

Colors in the list of coauthors