Using ATACS for Verification of Hazard-Freedom of Phased Logic Wrappers


Abstract

Report: [pdf] [html]

Steinmetz Symposium Presentation: [ppt] [html]

Goldwater Scholarship Essay

SRC Graduate Fellowship Conference Poster

Proposals:
  • My proposal for Union College funding
  • Prof. Traver's proposal for IBM funding


    Links:
  • Phased Logic Flash Animations
  • Phased Logic Gate Implementations
  • Phased Logic Home Page
  • Myers Research Group

    Home