A Model for Automatic Design of Digital Circuits
{'Code': '07030000', 'Directorate': {'Abbreviation': 'ENG', 'LongName': 'Directorate For Engineering'}, 'Division': {'Abbreviation': 'CMMI', 'LongName': 'Div Of Civil, Mechanical, & Manufact Inn'}}
{'SignBlockName': 'Clifton Leach', 'PO_EMAI': None, 'PO_PHON': None}
One of the long-standing goals of the computer-aided design                community is to write computer programs that will automatically                 design circuits from abstract descriptions of their desired                     behavior.  Programs that are effective circuit designers cannot be built        until the roles of knowledge-based and algorithmic techniques in circuit        design are understood.  Knowledge-based systems are ideal for studying a        large design space where the guidelines are poorly understood, but it is        nearly impossible to verify their correctness.  Design algorithms are           easier to maintain and verify, but a complete set cannot be built               without a more complete and formal understanding of circuit design than         is likely to exist in the foreseeable future.  Incorrect application of         either method can only produce unreliable programs or low quality               designs.                                                                             This research will focus on a program for automatic circuit                design that will partition the design task into algorithmic and                 knowledge-based parts, generate components, and combine the                     components into a single whole.  The major research issues are how to           partition the original design task and how to recompose the parts into a        functioning whole.
{'FirstName': 'Douglas', 'LastName': 'Baldwin', 'PI_MID_INIT': 'L', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Douglas L Baldwin', 'EmailAddress': 'baldwin@geneseo.edu', 'NSF_ID': '000085469', 'StartDate': '04/01/1987', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'University of Rochester', 'CityName': 'ROCHESTER', 'ZipCode': '146113847', 'PhoneNumber': '5852754031', 'StreetAddress': '910 GENESEE ST', 'StreetAddress2': 'STE 200', 'CountryName': 'United States', 'StateName': 'New York', 'StateCode': 'NY', 'CONGRESSDISTRICT': '25', 'CONGRESS_DISTRICT_ORG': 'NY25', 'ORG_UEI_NUM': 'F27KDXZMF9Y8', 'ORG_LGL_BUS_NAME': 'UNIVERSITY OF ROCHESTER', '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': '1464', 'Text': 'ESD-Eng & Systems Design'}, {'Code': '4710', 'Text': 'DES AUTO FOR MICRO & NANO SYS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1986&All=true', 'xml': '8613489.xml'}