Andrew Seawright

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
Multi-clock SVA synthesis without re-writing.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2007
Synthesizing SVA Local Variables for Formal Verification.
Proceedings of the 44th Design Automation Conference, 2007

2002
RTL c-based methodology for designing and verifying a multi-threaded processor.
Proceedings of the 39th Design Automation Conference, 2002

1998
Partitioning and Optimizing Controllers Synthesized from Hierarchical High-Level Descriptions.
Proceedings of the 35th Conference on Design Automation, 1998

1997
Modeling and synthesis of behavior, control and dataflow (tutorial).
Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, 1997

Design and Synthesis of Array Structured Telecommunication Processing Applications.
Proceedings of the 34st Conference on Design Automation, 1997

1996
A system for compiling and debugging structured data processing controllers.
Proceedings of the conference on European design automation, 1996

1994
Clairvoyant: a synthesis system for production-based specification.
IEEE Trans. Very Large Scale Integr. Syst., 1994

1993
High-Level Symbolic Construction Technique for High Performance Sequential Synthesis.
Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992
High performance data-path synthesis via communication metrics.
Proceedings of the Second Great Lakes Symposium on VLSI, 1992

Synthesis from Production-Based Specifications.
Proceedings of the 29th Design Automation Conference, 1992

1991
Relevant Issues in High-Level Connectivity Synthesis.
Proceedings of the 28th Design Automation Conference, 1991

1990
Interconnection synthesis with geometric constraints.
Proceedings of the 23rd Annual Workshop and Symposium on Microprogramming and Microarchitecture, 1990


  Loading...