| 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 |
