Optimal Sequential and Multilevel Combinational Logic       Synthesis
{'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 is a group effort involving researchers at the University of               Colorado, Boulder (Gary Hachtel and M. Lightner), at the                        University of California, Berkeley (R. K. Brayton, A. R. Newton                 and A. Sangiovanni-Vincentelli), and at Stanford University (G.                 De Micheli).  The long-range goal is understanding the                          theoretical structure needed for optimization of VLSI (very large               scale integrated) design parameters in novel (application-                      specific) applications.  The approach is to explore unified and                 systematic methods for both combination and sequential logic                    synthesis and minimization, which includes research on behavioral               and structural synthesis tasks at higher levels of abstraction.                 Specific objectives are:  (1) performance oriented synthesis                    (e.g. optimizing the delay/area tradeoff); (2) maximization of                  testability; and (3) extension of size capability to VLSI-sized                 problems.  A comprehensive set of theorems, algorithms,                         mathematical models and their corresponding intermediate forms,                 and software tools will be developed.  Central to the effort is                 utilization of their research paradigm involving a consistent                   mathematical treatment, optimization-based graph algorithms, and                optimized mapping from one level of abstraction to the next.
[{'FirstName': 'Gary', 'LastName': 'Hachtel', 'PI_MID_INIT': 'D', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Gary D Hachtel', 'EmailAddress': 'hachtel@colorado.edu', 'NSF_ID': '000471940', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}, {'FirstName': 'Michael', 'LastName': 'Lightner', 'PI_MID_INIT': 'R', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Michael R Lightner', 'EmailAddress': 'lightner@boulder.colorado.edu', 'NSF_ID': '000263229', 'StartDate': '09/01/1988', 'EndDate': None, 'RoleCode': 'Co-Principal Investigator'}]
{'Name': 'University of Colorado at Boulder', 'CityName': 'Boulder', 'ZipCode': '803090001', 'PhoneNumber': '3034926221', 'StreetAddress': '3100 MARINE ST', 'StreetAddress2': 'STE 481 572 UCB', 'CountryName': 'United States', 'StateName': 'Colorado', 'StateCode': 'CO', 'CONGRESSDISTRICT': '02', 'CONGRESS_DISTRICT_ORG': 'CO02', 'ORG_UEI_NUM': 'SPVKK1RC2MZ3', 'ORG_LGL_BUS_NAME': 'THE REGENTS OF THE UNIVERSITY OF COLORADO', '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': '1810', 'Text': None}, {'Code': '2985', 'Text': None}, {'Code': '3157', 'Text': None}, {'Code': '4710', 'Text': 'DES AUTO FOR MICRO & NANO SYS'}]
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1987&All=true', 'xml': '8719546.xml'}