Presidential Young Investigator Award:  Computer Tools for  VLSI
{'Code': '05010600', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Robert B Grafton', 'PO_EMAI': None, 'PO_PHON': None}
This research program explores the use of computer tools for VLSI.  One         problem being studied is expediting the synthesis-verification cycle            inherent in computer-aided design.  In all large designs, a substantial         portion of effort is made implementing and verifying design changes.            Although tools are available to aid in checking the design, these tools         start the verification from scratch each time they are run.  By                 designing a verification tool that accepts changes to the design                interactively, it is possible to reduce the time and cost required to           design integrated circuits.  In addition to working on methods to               improve tool performance, the research is looking at tools to improve           chip performance.  Using background information in both circuit design          and CAD tools, methods are investigated to incorporate design knowledge         initially into analysis tools, with the ultimate goal of incorporating          these ideas into synthesis tools.
{'FirstName': 'Mark', 'LastName': 'Horowitz', 'PI_MID_INIT': 'A', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Mark A Horowitz', 'EmailAddress': 'horowitz@stanford.edu', 'NSF_ID': '000235625', 'StartDate': '09/01/1985', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Stanford University', 'CityName': 'STANFORD', 'ZipCode': '943052004', 'PhoneNumber': '6507232300', 'StreetAddress': '450 JANE STANFORD WAY', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '16', 'CONGRESS_DISTRICT_ORG': 'CA16', 'ORG_UEI_NUM': 'HJD6G4D6TJY5', 'ORG_LGL_BUS_NAME': 'THE LELAND STANFORD JUNIOR UNIVERSITY', 'ORG_PRNT_UEI_NUM': None}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
[{'Code': '1457', 'Text': 'COMPUTER ENGINEERING (OTHER)'}, {'Code': '1475', 'Text': 'COMPUTER SYSTEMS ARCHITECTURE'}, {'Code': '4710', 'Text': 'DES AUTO FOR MICRO & NANO SYS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1984&All=true', 'xml': '8451822.xml'}