Andrew Seawright - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2009

Multi-clock SVA synthesis without re-writingJiang Long, Andrew Seawright, Paparao Kavalipati. aspdac 2009: 648-653 [doi]

2007

Synthesizing SVA Local Variables for Formal VerificationJiang Long, Andrew Seawright. dac 2007: 75-80 [doi]

2002

RTL c-based methodology for designing and verifying a multi-threaded processorLuc Séméria, Renu Mehra, Barry M. Pangrle, Arjuna Ekanayake, Andrew Seawright, Daniel Ng. dac 2002: 123-128 [doi]

1998

Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level DescriptionsAndrew Seawright, Wolfgang Meyer. dac 1998: 770-775 [doi]

1997

Modeling and synthesis of behavior, control and dataflow (tutorial)Raul Camposano, Andrew Seawright, Joseph Buck. iccad 1997: [doi]

Design and Synthesis of Array Structured Telecommunication Processing ApplicationsWolfgang Meyer, Andrew Seawright, Fumiya Tada. dac 1997: 486-491 [doi]

1996

A system for compiling and debugging structured data processing controllersAndrew Seawright, Joseph Buck, Ulrich Holtmann, Wolfgang Meyer, Barry M. Pangrle, Rob Verbrugghe. eurodac 1996: 86-91 [doi]

1994

Clairvoyant: a synthesis system for production-based specificationAndrew Seawright, Forrest Brewer. tvlsi, 2(2):172-185, 1994. [doi]

1993

High-Level Symbolic Construction Technique for High Performance Sequential SynthesisAndrew Seawright, Forrest Brewer. dac 1993: 424-428 [doi]

1992

Synthesis from Production-Based SpecificationsAndrew Seawright, Forrest Brewer. dac 1992: 194-199 [doi]

High performance data-path synthesis via communication metricsAndrew Seawright, Forrest Brewer. glvlsi 1992: 60-67 [doi]

1991

Relevant Issues in High-Level Connectivity SynthesisBarry M. Pangrle, Forrest Brewer, Donald Lobo, Andrew Seawright. dac 1991: 607-610 [doi]

1990

Interconnection synthesis with geometric constraintsForrest Brewer, Barry M. Pangrle, Andrew Seawright. euromicro 1990: 158-165 [doi]

Sign in or sign up to see more results.

runs on WebDSL