REU Supplement for CAREER: Formal Methods for Silicon Complexity in Nanometer VLSI Design

Project: Research project

Project Details

StatusFinished
Effective start/end date6/6/06 → 1/31/11

Funding

  • National Science Foundation (CCF-0238484/003)