Concepedia

Andrew Seawright

AS

9

Publications

253

Citations

9

H-Index

1991

Active since

Affiliations

University of California, Santa Barbara(Current)

Synopsys (Switzerland)

Synopsys (United States)

Andrew Seawright is an author at University of California, Santa Barbara specializing in engineering, formal methods, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer EngineeringComputer ScienceSystems EngineeringComputer ArchitectureFormal VerificationSoftware DesignSystem SoftwareSoftware Engineering

Publications per year

1991–2007

9

Publications

9

Clairvoyant: a synthesis system for production-based specification

Andrew Seawright, Forrest Brewer · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1994 · 74 citations

Engineering, Software Systems, Computer Architecture +25

A system for compiling and debugging structured data processing controllers

Andrew Seawright, J. Buck, U. Holtmann et al. · European Design Automation Conference · 1996 · 44 citations

Engineering, Compiler Technology, Structured Data +31

RTL c-based methodology for designing and verifying a multi-threaded processor

Luc Sèmèria, Renu Mehra, Barry Pangrle et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 41 citations

Engineering, Hardware Verification Language, Verification +20

High-level symbolic construction technique for high performance sequential synthesis

Andrew Seawright, Forrest Brewer · 1993 · 20 citations

Logic Synthesis, History 15Citation193downloadsmetricstotal, Engineering +11

Grammar-based specification and synthesis for synchronous digital hardware design

Andrew Seawright · 1994 · 17 citations

Hardware Modeling, Engineering, Procedural Fashion +19

Rows per page

1–5 of 9