CAREER: Formal Methods for Silicon Complexity in Nanometer VLSI Design

Project: Research project

Project Details

StatusFinished
Effective start/end date2/1/03 → 1/31/11

Funding

  • National Science Foundation (CCF-0238484/004)