Publication Information

{'id': 'https://openalex.org/W2131380102', 'doi': 'https://doi.org/10.1109/asicon.2009.5351338', 'title': 'Implementation of high-speed verification platform based on emulator for ReDSP and ReMAP', 'display_name': 'Implementation of high-speed verification platform based on emulator for ReDSP and ReMAP', 'publication_year': 2009, 'publication_date': '2009-10-01', 'ids': {'openalex': 'https://openalex.org/W2131380102', 'doi': 'https://doi.org/10.1109/asicon.2009.5351338', 'mag': '2131380102'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/asicon.2009.5351338', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5100352881', 'display_name': 'Wei Huang', 'orcid': 'https://orcid.org/0000-0001-7004-6408'}, 'institutions': [{'id': 'https://openalex.org/I20231570', 'display_name': 'Peking University', 'ror': 'https://ror.org/02v51f717', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I20231570']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Huang Wei', 'raw_affiliation_strings': ['Shenzhen Graduate School, Peking University, China'], 'affiliations': [{'raw_affiliation_string': 'Shenzhen Graduate School, Peking University, China', 'institution_ids': ['https://openalex.org/I20231570']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5103328859', 'display_name': 'Wang Xin-an', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I20231570', 'display_name': 'Peking University', 'ror': 'https://ror.org/02v51f717', 'country_code': 'CN', 'type': 'education', 'lineage': ['https://openalex.org/I20231570']}], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Wang Xinan', 'raw_affiliation_strings': ['Peking University, China'], 'affiliations': [{'raw_affiliation_string': 'Peking University, China', 'institution_ids': ['https://openalex.org/I20231570']}]}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5103618719', 'display_name': 'Dai Peng', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I4210156212', 'display_name': 'Mentor Technologies', 'ror': 'https://ror.org/05vewsj04', 'country_code': 'US', 'type': 'other', 'lineage': ['https://openalex.org/I4210156212']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Dai Peng', 'raw_affiliation_strings': ['Mentor Graphics Corporation, USA'], 'affiliations': [{'raw_affiliation_string': 'Mentor Graphics Corporation, USA', 'institution_ids': ['https://openalex.org/I4210156212']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5059876880', 'display_name': 'Zheng Guo', 'orcid': 'https://orcid.org/0000-0003-2772-3578'}, 'institutions': [], 'countries': ['CN'], 'is_corresponding': False, 'raw_author_name': 'Guo Zheng', 'raw_affiliation_strings': ['Mentor Graphics Corporation, China'], 'affiliations': [{'raw_affiliation_string': 'Mentor Graphics Corporation, China', 'institution_ids': []}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 0.0, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 4, 'citation_normalized_percentile': {'value': 0.245754, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 77, 'max': 79}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10904', 'display_name': 'Reconfigurable Computing Systems and Design Methods', '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': 'Reconfigurable Computing Systems and Design Methods', '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/T10054', 'display_name': 'Parallel Computing and Performance Optimization', 'score': 0.9985, '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/T10142', 'display_name': 'Formal Methods in Software Verification and Control', 'score': 0.998, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, 'field': {'id': 'https://openalex.org/fields/17', 'display_name': 'Computer Science'}, 'domain': {'id': 'https://openalex.org/domains/3', 'display_name': 'Physical Sciences'}}], 'keywords': [{'id': 'https://openalex.org/keywords/reconfigurable-computing', 'display_name': 'Reconfigurable Computing', 'score': 0.588329}, {'id': 'https://openalex.org/keywords/runtime-verification', 'display_name': 'Runtime Verification', 'score': 0.571761}, {'id': 'https://openalex.org/keywords/simulation-platforms', 'display_name': 'Simulation Platforms', 'score': 0.542246}, {'id': 'https://openalex.org/keywords/safety-verification', 'display_name': 'Safety Verification', 'score': 0.540505}, {'id': 'https://openalex.org/keywords/high-performance-computing', 'display_name': 'High-Performance Computing', 'score': 0.536908}, {'id': 'https://openalex.org/keywords/component', 'display_name': 'Component (thermodynamics)', 'score': 0.5100051}, {'id': 'https://openalex.org/keywords/functional-verification', 'display_name': 'Functional verification', 'score': 0.49865222}], 'concepts': [{'id': 'https://openalex.org/C2780513914', 'wikidata': 'https://www.wikidata.org/wiki/Q18210350', 'display_name': 'Bottleneck', 'level': 2, 'score': 0.8274099}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.81693554}, {'id': 'https://openalex.org/C149635348', 'wikidata': 'https://www.wikidata.org/wiki/Q193040', 'display_name': 'Embedded system', 'level': 1, 'score': 0.6241855}, {'id': 'https://openalex.org/C2777904410', 'wikidata': 'https://www.wikidata.org/wiki/Q7397', 'display_name': 'Software', 'level': 2, 'score': 0.5265891}, {'id': 'https://openalex.org/C168167062', 'wikidata': 'https://www.wikidata.org/wiki/Q1117970', 'display_name': 'Component (thermodynamics)', 'level': 2, 'score': 0.5100051}, {'id': 'https://openalex.org/C62460635', 'wikidata': 'https://www.wikidata.org/wiki/Q5508853', 'display_name': 'Functional verification', 'level': 3, 'score': 0.49865222}, {'id': 'https://openalex.org/C118524514', 'wikidata': 'https://www.wikidata.org/wiki/Q173212', 'display_name': 'Computer architecture', 'level': 1, 'score': 0.44706446}, {'id': 'https://openalex.org/C117896860', 'wikidata': 'https://www.wikidata.org/wiki/Q11376', 'display_name': 'Acceleration', 'level': 2, 'score': 0.42299315}, {'id': 'https://openalex.org/C84462506', 'wikidata': 'https://www.wikidata.org/wiki/Q173142', 'display_name': 'Digital signal processing', 'level': 2, 'score': 0.41102386}, {'id': 'https://openalex.org/C9390403', 'wikidata': 'https://www.wikidata.org/wiki/Q3966', 'display_name': 'Computer hardware', 'level': 1, 'score': 0.33155394}, {'id': 'https://openalex.org/C111498074', 'wikidata': 'https://www.wikidata.org/wiki/Q173326', 'display_name': 'Formal verification', 'level': 2, 'score': 0.32006145}, {'id': 'https://openalex.org/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.29860562}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.092022866}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C74650414', 'wikidata': 'https://www.wikidata.org/wiki/Q11397', 'display_name': 'Classical mechanics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C97355855', 'wikidata': 'https://www.wikidata.org/wiki/Q11473', 'display_name': 'Thermodynamics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1109/asicon.2009.5351338', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/7', 'display_name': 'Affordable and clean energy', 'score': 0.58}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 3, 'referenced_works': ['https://openalex.org/W2022371756', 'https://openalex.org/W2096455207', 'https://openalex.org/W2135781470'], 'related_works': ['https://openalex.org/W3209085687', 'https://openalex.org/W3120172095', 'https://openalex.org/W2533078207', 'https://openalex.org/W2153955347', 'https://openalex.org/W2125238773', 'https://openalex.org/W2118572231', 'https://openalex.org/W2108860137', 'https://openalex.org/W2106507440', 'https://openalex.org/W2105593427', 'https://openalex.org/W1928822090'], 'abstract_inverted_index': {'Verification': [0, 24], 'of': [1, 19, 25, 63], 'processors': [2], 'with': [3], 'high': [4], 'performance': [5], 'is': [6, 41, 52, 76], 'becoming': [7], 'more': [8, 10], 'and': [9, 12, 35, 56, 66, 78], 'time-consuming': [11], 'even': [13], 'gradually': [14], 'turning': [15], 'into': [16], 'the': [17, 20, 60, 64, 79], 'bottleneck': [18], 'processor': [21], 'design.': [22], 'The': [23], 'Reconfiguralbe': [26], 'Multimedia': [27], 'Array': [28], 'Processor(ReMAP)': [29], 'we': [30], 'designed': [31], 'for': [32, 54], 'multimedia': [33], 'processing': [34], 'its': [36], 'internal': [37], 'component': [38], 'Reconfigurable': [39], 'DSP(ReDSP)': [40], 'also': [42], 'no': [43], 'exception.': [44], 'A': [45, 72], 'high-speed': [46], 'verification': [47, 68, 74], 'platform': [48, 65], 'based': [49], 'on': [50], 'emulator': [51], 'proposed': [53], 'ReDSP': [55], 'ReMAP.': [57], 'We': [58], 'demonstrate': [59], 'hardware': [61], 'architecture': [62], 'different': [67], 'modes': [69], 'it': [70], 'supports.': [71], 'software': [73, 89], 'model': [75], 'proposed,': [77], 'evaluation': [80], 'results': [81], 'show': [82], 'a': [83], 'great': [84], 'acceleration': [85], 'rate': [86], 'compared': [87], 'to': [88], 'simulation': [90], '<sup': [91], 'xmlns:mml="http://www.w3.org/1998/Math/MathML"': [92], 'xmlns:xlink="http://www.w3.org/1999/xlink">1</sup>': [93], '.': [94]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2131380102', 'counts_by_year': [{'year': 2016, 'cited_by_count': 1}, {'year': 2013, 'cited_by_count': 2}, {'year': 2012, 'cited_by_count': 1}], 'updated_date': '2024-09-26T19:49:24.574941', 'created_date': '2016-06-24'}