Get quick answers to your questions about the article from our AI researcher chatbot
{'id': 'https://openalex.org/W2167614122', 'doi': 'https://doi.org/10.1109/43.55208', 'title': 'Chippe: a system for constraint driven behavioral synthesis', 'display_name': 'Chippe: a system for constraint driven behavioral synthesis', 'publication_year': 1990, 'publication_date': '1990-07-01', 'ids': {'openalex': 'https://openalex.org/W2167614122', 'doi': 'https://doi.org/10.1109/43.55208', 'mag': '2167614122'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/43.55208', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S100835903', 'display_name': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'issn_l': '0278-0070', 'issn': ['0278-0070', '1937-4151'], 'is_oa': False, 'is_in_doaj': False, 'is_indexed_in_scopus': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319808', 'host_organization_name': 'Institute of Electrical and Electronics Engineers', 'host_organization_lineage': ['https://openalex.org/P4310319808'], 'host_organization_lineage_names': ['Institute of Electrical and Electronics Engineers'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'journal-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'https://escholarship.org/content/qt0b35v21g/qt0b35v21g.pdf?t=q67ipm', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5026518797', 'display_name': 'Forrest Brewer', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I154570441', 'display_name': 'University of California, Santa Barbara', 'ror': 'https://ror.org/02t274463', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I154570441']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'F. Brewer', 'raw_affiliation_strings': ['Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA, USA'], 'affiliations': [{'raw_affiliation_string': 'Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA, USA', 'institution_ids': ['https://openalex.org/I154570441']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5025797692', 'display_name': 'Daniel D. Gajski', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I204250578', 'display_name': 'University of California, Irvine', 'ror': 'https://ror.org/04gyf1771', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I204250578']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'D.D. Gajski', 'raw_affiliation_strings': ['Information and Computer Science Department, University of California, Irvine, CA, USA'], 'affiliations': [{'raw_affiliation_string': 'Information and Computer Science Department, University of California, Irvine, CA, USA', 'institution_ids': ['https://openalex.org/I204250578']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 8.131, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 91, 'citation_normalized_percentile': {'value': 0.934249, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 96, 'max': 97}, 'biblio': {'volume': '9', 'issue': '7', 'first_page': '681', 'last_page': '695'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10904', 'display_name': 'Embedded Systems Design Techniques', 'score': 0.9999, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, 'topics': [{'id': 'https://openalex.org/T10904', 'display_name': 'Embedded Systems Design Techniques', 'score': 0.9999, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T11522', 'display_name': 'VLSI and FPGA Design Techniques', 'score': 0.9997, 'subfield': {'id': 'https://openalex.org/subfields/2208', 'display_name': 'Electrical and Electronic Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}, {'id': 'https://openalex.org/T10363', 'display_name': 'Low-power high-performance VLSI design', 'score': 0.9992, 'subfield': {'id': 'https://openalex.org/subfields/2208', 'display_name': 'Electrical and Electronic Engineering'}, 'field': {'id': 'https://openalex.org/fields/22', 'display_name': 'Engineering'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/design-methods', 'display_name': 'Design methods', 'score': 0.41631663}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.6960943}, {'id': 'https://openalex.org/C177264268', 'wikidata': 'https://www.wikidata.org/wiki/Q1514741', 'display_name': 'Set (abstract data type)', 'level': 2, 'score': 0.6390276}, {'id': 'https://openalex.org/C26517878', 'wikidata': 'https://www.wikidata.org/wiki/Q228039', 'display_name': 'Key (lock)', 'level': 2, 'score': 0.6139895}, {'id': 'https://openalex.org/C2776036281', 'wikidata': 'https://www.wikidata.org/wiki/Q48769818', 'display_name': 'Constraint (computer-aided design)', 'level': 2, 'score': 0.60682684}, {'id': 'https://openalex.org/C136197465', 'wikidata': 'https://www.wikidata.org/wiki/Q1729295', 'display_name': 'Variety (cybernetics)', 'level': 2, 'score': 0.55107594}, {'id': 'https://openalex.org/C48103436', 'wikidata': 'https://www.wikidata.org/wiki/Q599031', 'display_name': 'State (computer science)', 'level': 2, 'score': 0.5121672}, {'id': 'https://openalex.org/C138852830', 'wikidata': 'https://www.wikidata.org/wiki/Q2292993', 'display_name': 'Design methods', 'level': 2, 'score': 0.41631663}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.4131326}, {'id': 'https://openalex.org/C113775141', 'wikidata': 'https://www.wikidata.org/wiki/Q428691', 'display_name': 'Computer engineering', 'level': 1, 'score': 0.3252725}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.28042796}, {'id': 'https://openalex.org/C11413529', 'wikidata': 'https://www.wikidata.org/wiki/Q8366', 'display_name': 'Algorithm', 'level': 1, 'score': 0.24842307}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.22529507}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.16341987}, {'id': 'https://openalex.org/C127413603', 'wikidata': 'https://www.wikidata.org/wiki/Q11023', 'display_name': 'Engineering', 'level': 0, 'score': 0.109229386}, {'id': 'https://openalex.org/C78519656', 'wikidata': 'https://www.wikidata.org/wiki/Q101333', 'display_name': 'Mechanical engineering', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C2524010', 'wikidata': 'https://www.wikidata.org/wiki/Q8087', 'display_name': 'Geometry', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C38652104', 'wikidata': 'https://www.wikidata.org/wiki/Q3510521', 'display_name': 'Computer security', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/43.55208', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S100835903', 'display_name': 'IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems', 'issn_l': '0278-0070', 'issn': ['0278-0070', '1937-4151'], 'is_oa': False, 'is_in_doaj': False, 'is_indexed_in_scopus': True, 'is_core': True, 'host_organization': 'https://openalex.org/P4310319808', 'host_organization_name': 'Institute of Electrical and Electronics Engineers', 'host_organization_lineage': ['https://openalex.org/P4310319808'], 'host_organization_lineage_names': ['Institute of Electrical and Electronics Engineers'], 'type': 'journal'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://escholarship.org/uc/item/0b35v21g', 'pdf_url': 'https://escholarship.org/content/qt0b35v21g/qt0b35v21g.pdf?t=q67ipm', 'source': {'id': 'https://openalex.org/S4306400115', 'display_name': 'eScholarship (California Digital Library)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_indexed_in_scopus': False, 'is_core': False, 'host_organization': 'https://openalex.org/I2801248553', 'host_organization_name': 'California Digital Library', 'host_organization_lineage': ['https://openalex.org/I2801248553'], 'host_organization_lineage_names': ['California Digital Library'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://escholarship.org/uc/item/0b35v21g', 'pdf_url': 'https://escholarship.org/content/qt0b35v21g/qt0b35v21g.pdf?t=q67ipm', 'source': {'id': 'https://openalex.org/S4306400115', 'display_name': 'eScholarship (California Digital Library)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_indexed_in_scopus': False, 'is_core': False, 'host_organization': 'https://openalex.org/I2801248553', 'host_organization_name': 'California Digital Library', 'host_organization_lineage': ['https://openalex.org/I2801248553'], 'host_organization_lineage_names': ['California Digital Library'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 33, 'referenced_works': ['https://openalex.org/W1514711242', 'https://openalex.org/W1969696924', 'https://openalex.org/W1986207994', 'https://openalex.org/W2031479502', 'https://openalex.org/W2040167141', 'https://openalex.org/W2041245811', 'https://openalex.org/W2053013213', 'https://openalex.org/W2063747323', 'https://openalex.org/W2064328314', 'https://openalex.org/W2081494357', 'https://openalex.org/W2087376924', 'https://openalex.org/W2091819707', 'https://openalex.org/W2097387164', 'https://openalex.org/W2118387410', 'https://openalex.org/W2129174252', 'https://openalex.org/W2156417149', 'https://openalex.org/W2164377872', 'https://openalex.org/W2164693696', 'https://openalex.org/W2289755950', 'https://openalex.org/W2478032942', 'https://openalex.org/W2504676333', 'https://openalex.org/W3139004216', 'https://openalex.org/W4206153422', 'https://openalex.org/W4206953920', 'https://openalex.org/W4231345919', 'https://openalex.org/W4233206289', 'https://openalex.org/W4233466666', 'https://openalex.org/W4237089407', 'https://openalex.org/W4245962916', 'https://openalex.org/W4247716681', 'https://openalex.org/W4250936748', 'https://openalex.org/W4252239987', 'https://openalex.org/W4256261470'], 'related_works': ['https://openalex.org/W4237843922', 'https://openalex.org/W4235581521', 'https://openalex.org/W2391464953', 'https://openalex.org/W2366284060', 'https://openalex.org/W2363925233', 'https://openalex.org/W2356380379', 'https://openalex.org/W2329452785', 'https://openalex.org/W1794016765', 'https://openalex.org/W1602072618', 'https://openalex.org/W1493192319'], 'abstract_inverted_index': {'The': [0, 55, 121], 'Chippe': [1], 'system': [2, 83], 'for': [3, 33, 154], 'constrained': [4], 'behavioural': [5], 'architecture': [6], 'synthesis': [7, 57], 'uses': [8], 'a': [9, 61, 73, 81, 101], 'novel': [10], 'closed-loop': [11, 122], 'design': [12, 22, 41, 56, 86, 102, 111, 141], 'iteration': [13, 123], 'technique': [14], 'in': [15], 'which': [16, 84, 104], 'the': [17, 21, 28, 34, 40, 48, 53, 70, 106, 110, 118, 125, 128, 132, 135, 140, 155], 'present': [18, 107], 'state': [19, 42, 108], 'of': [20, 63, 72, 76, 109], 'is': [23, 43, 58, 100], 'analyzed': [24], 'with': [25], 'respect': [26], 'to': [27, 68, 91, 97, 117, 138], 'goals': [29], 'and': [30, 79, 88, 112, 131, 134], 'then': [31], 'modified': [32], 'next': [35], 'iteration.': [36], 'In': [37], 'this': [38], 'way': [39], 'iteratively': [44], 'driven': [45], 'towards': [46], 'meeting': [47], 'global': [49], 'constraints': [50], 'imposed': [51], 'by': [52, 60, 80], 'designer.': [54], 'performed': [59, 137], 'set': [62, 92], 'algorithmic': [64], 'tools': [65], 'specially': [66], 'constructed': [67], 'permit': [69], 'imposition': [71], 'wide': [74], 'variety': [75], 'local': [77, 94], 'constraints,': [78], 'rule-based': [82, 119], 'makes': [85], 'analysis': [87], 'modification': [89], 'decisions': [90, 99, 142], 'these': [93, 98], 'constraints.': [95], 'Key': [96], 'evaluator': [103], 'examines': [105], 'interactively': [113], 'reports': [114], 'its': [115], 'findings': [116], 'system.': [120], 'strategy,': [124], 'interaction': [126], 'between': [127], 'rule': [129], 'base': [130], 'tools,': [133], 'evaluation': [136], 'support': [139], 'are': [143, 147], 'detailed.': [144], 'Also': [145], 'presented': [146], 'results': [148], 'from': [149], 'sample': [150], 'designs,': [151], 'including': [152], 'designs': [153], 'TMS320': [156], 'digital': [157], 'signal': [158], 'processor': [159], 'chip.<': [160], '<ETX': [161], 'xmlns:mml="http://www.w3.org/1998/Math/MathML"': [162], 'xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>': [163]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2167614122', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2022, 'cited_by_count': 2}, {'year': 2018, 'cited_by_count': 1}, {'year': 2012, 'cited_by_count': 1}], 'updated_date': '2025-01-20T16:20:19.299824', 'created_date': '2016-06-24'}