Inheritance, Change and Constraint Propagation in a Version Server for Computer-Aided Design Data
{'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}
The principal investigator's approach is to study problems in the               management of data in the CAD design process.  In previous NSF-                 supported research, the proposer has implemented a prototype version            server for computer-aided design (CAD) data.  He plans to use this as           an operational testbed in which to investigate how to apply and                 implement object-oriented and logic-programming concepts, such as               prototypical objects, inheritance, and inference, within the CAD                environment.  Dr. Katz plans to investigate two problems:  (1) new ways         to propagate data through a lattice of interrelated design objects; and         (2) extend some recent work, applying inference techniques to validate          design correctness, to the problem of controlling constraint and change         propagation.                                                                    VLSI (very large scale integration) is a recent field that explores how         to design highly complex integrated circuits and related electronic             systems.  Development of the field is important to the nation's                 competitive lead in electronics.  The proposed research is in CAD               design management, a subject that is of exceptional importance to the           CAD industry.  Traditional database techniques are not adequate to              support today's CAD design process.  This research addresses the need           to carefully manage the many information details which are typically            produced during the CAD process.  Such research is needed to promote            automation in the CAD field, where design of very and ultra large scale         integrated (VLSI/ULSI) circuits is now so complex that humans cannot            effectively deal with them.  The principal investigator has made                important contributions to the CAD design management area.  He brings           to bear a useful blend of theoretical and practical talents.
{'FirstName': 'Randy', 'LastName': 'Katz', 'PI_MID_INIT': None, 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Randy Katz', 'EmailAddress': 'randy@cs.berkeley.edu', 'NSF_ID': '000163665', 'StartDate': '09/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of California-Berkeley', 'CityName': 'BERKELEY', 'ZipCode': '947101749', 'PhoneNumber': '5106433891', 'StreetAddress': '1608 4TH ST STE 201', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'California', 'StateCode': 'CA', 'CONGRESSDISTRICT': '12', 'CONGRESS_DISTRICT_ORG': 'CA12', 'ORG_UEI_NUM': 'GS3YEVSS12N6', 'ORG_LGL_BUS_NAME': 'REGENTS OF THE UNIVERSITY OF CALIFORNIA, THE', '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': '4710', 'Text': 'DES AUTO FOR MICRO & NANO SYS'}, {'Code': '4725', 'Text': 'EXPERIMENTAL SYSTEMS/CADRE'}, {'Code': '4733', 'Text': 'MOSIS PROJECTS'}, {'Code': '9120', 'Text': 'CROSS-DIRECTORATE PROGRAMS'}, {'Code': '9145', 'Text': 'SPECIAL PROGRAMS-RESERVE'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8706002.xml'}