{“id”:“https://openalex.org/W1968938035“,”doi“:”https://doi.org/10.1007/s10617-006-9044-6“,”title“:”LusSy:一个用于在事务级分析系统芯片的开放工具“,”display_name“:”LusSy:用于在事务级别分析系统芯片上的开放工具”,“publication_year”:2005,“publitation_date”:“2005-09-01”,“ids”:{“openalex”:“https://openalex.org/W1968938035“,”doi“:”https://doi.org/10.1007/s10617-006-9044-6“,”mag“:”1968938035“},”language“:”en“,”primary_location“:{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1007/s10617-006-9044-6“,”pdf_url“:”https://link.springer.com/content/pdf/10.1007/s10617-006-9044-6.pdf,“源”:{“id”:https://openalex.org/S85498321“,”display_name“:”嵌入式系统的设计自动化“,”issn_l“:”0929-5585“,”isn“:[”09295585“,”1572-8080“],”is_oa“:false,”is.in_doaj“:false,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springr Science+Business Media“],“type”:“journal”},“license”:“cc-by-nc”,“licence_id”:“https://openalex.org/licenses/cc-by-nc“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”type“:”article“,”type_crossref“:“journal-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”hybrid“,”oa_url“:”https://link.springer.com/content/pdf/10.1007/s10617-006-9044-6.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5061125211“,”display_name“:”Matthieu Moy“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210156361“,”display_name“:”Verimag“,”ror“:”https://ror.org/05afmzm11“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Matthieu Moy“,”raw _ afiliation_strings“:[“Verimag,Centre \u00e9quation-2,avenue de Vignate,38610,GI\u00c9RES,France”],”从属关系“:[{”raw _affiliation_string“:”Verimag、Centre \u 00e9qution-2,avenue de Vignate,38.610,GI\u00c 9RES(法国),”institutions宪法ID“:[”https://openalex.org/I4210156361“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5069307391“,”display_name“:”Florence Maraninchi“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210156361“,”display_name“:”Verimag“,”ror“:”https://ror.org/05afmzm11“,”“country_code”“:”FR“,”type“:”facility“,”lineage“:[”https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210156361","https://openalex.org/I4210159245","https://openalex.org/I899635006“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Florence Maraninchi“,”raw _ afiliation_strings“:[“Verimag,Centre \u00e9quation-2,avenue de Vignate,38610,GI\u00c9RES,France”],“afliations”:[{“raw_affiliation_string”:“Verimac,Centre \ u00e9 quation-2宪法ID“:[”https://openalex.org/I4210156361“]}]},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5031519437“,”display_name“:”Laurent Maillet Contoz“,”orcid“:null},”institutions“:[{”id“:”https://openalex.org/I4210104693“,”display_name“:”STMicroelectronics(France)“,”ror“:”https://ror.org/01c74sd89“,”country_code“:”FR“,”type“:”company“,”沿袭“:[”https://openalex.org/I131827901","https://openalex.org/I4210104693“]}],”国家“:[”FR“],”is_corresponding“:false,”raw_author_name“:”Laurent Maillet-Contoz“,”raw _affiliation_strings“:[“STMicroelectronics,HPC,System Platform Group。,850 rue Jean Monnet,38920,CROLLES,France”],“afliations”:[{“raw_affilition_string”:“ST微电子、HPC、系统平台集团。,法国克罗尔斯让·莫内街850号,38920“,“institution_ids”:[“https://openalex.org/I4210104693“]}]}],”countries_distinct_count“:1,”institutions_disting_count”:2,”corresponding_author_ids“:[],”corresponding_institution_ids”:[]、“apc_list”:{“value”:2490,“currency”:“EUR”,“value_usd”:3190,“provenance”:“doaj”},“apc_payed”:{-“value“:2490“},”fwci“:2.706,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:41,”cited_by_percentile_year“:{”min“:92,”max“:93},”biblio“:{“volume”:“10”,”issue“:”2-3“,”first_page“:”73“,”last_page“:”104“},“is_retracted”:false,“is_paratext”:false,“primary_topic”:{“id”:“https://openalex.org/T10904“,”“display_name”:“可重构计算系统和设计方法”,“score”:0.9997,“subfield”:{“id”:“https://openalex.org/subfields/1708“,”display_name“:”硬件和体系结构“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T10904“,”“display_name”:“可重构计算系统和设计方法”,“score”:0.9997,“subfield”:{“id”:“https://openalex.org/subfields/1708“,”display_name“:”硬件和体系结构“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9997,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T11032“,”display_name“:”超大规模集成测试“,”score“:0.9996,”subfield“:{”id“:”https://openalex.org/subfields/1708“,”display_name“:”硬件和体系结构“},”字段“:{”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/system-on-a-chip-test“,”display_name“:”系统芯片测试“,”score“:0.556265},{”id“:”https://openalex.org/keywords/system-level-design网站“,”display_name“:”系统级设计“,”score“:0.54647}],”concepts“:[{”id“:”https://openalex.org/C2776928060,“wikidata”:https://www.wikidata.org/wiki/Q1753563“,”display_name“:”SystemC“,”level“:2,”score“:0.984693},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.8682374},{”id“:”https://openalex.org/C160145156,“wikidata”:https://www.wikidata.org/wiki/Q778586“,”display_name“:”Executable“,”level“:2,”score“:0.8259338},{”id“:”https://openalex.org/C169590947,“wikidata”:https://www.wikidata.org/wiki/Q47506“,”display_name“:”编译器“,”级别“:2,”分数“:0.7193615},{”id“:”https://openalex.org/C169571997,“wikidata”:https://www.wikidata.org/wiki/Q966099“,”display_name“:”事务级建模“,”level“:3,”score“:0.7084208},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.66450757},{”id“:”https://openalex.org/C2777655017,“wikidata”:https://www.wikidata.org/wiki/Q150161“,”display_name“:”工具箱“,”级别“:2,”分数“:0.58897823},{”id“:”https://openalex.org/C77495112,“wikidata”:https://www.wikidata.org/wiki/Q5358436“,”display_name“:”电子系统级设计与验证“,”level“:2,”score“:0.5806061},{”id“:”https://openalex.org/C2777062904,“wikidata”:https://www.wikidata.org/wiki/Q545406“,”display_name“:”Toolchain“,”level“:3,”score“:0.48928377},{”id“:”https://openalex.org/C75949130,“wikidata”:https://www.wikidata.org/wiki/Q848010“,”display_name“:”数据库事务“,”level“:2,”score“:0.42418373},{”id“:”https://openalex.org/C58013763,“wikidata”:https://www.wikidata.org/wiki/Q5754574“,”display_name“:”高级合成“,”level“:3,”score“:0.41169214},{”id“:”https://openalex.org/C184337299,“wikidata”:https://www.wikidata.org/wiki/Q1437428“,”display_name“:”语义(计算机科学)“,”level“:2,”score“:0.41085184},{”id“:”https://openalex.org/C115903868,“wikidata”:https://www.wikidata.org/wiki/Q80993“,”display_name“:”软件工程“,”level“:1,”score“:0.36418998},{”id“:”https://openalex.org/C118524514,“wikidata”:https://www.wikidata.org/wiki/Q173212“,”display_name“:”计算机体系结构“,”level“:1,”score“:0.3481061},{”id“:”https://openalex.org/C149635348,“wikidata”:https://www.wikidata.org/wiki/Q193040“,”display_name“:”嵌入式系统“,”level“:1,”score“:0.31668743},{”id“:”https://openalex.org/C2777904410,“wikidata”:https://www.wikidata.org/wiki/Q7397“,”display_name“:”软件“,”级别“:2,”分数“:0.2593322},{”id“:”https://openalex.org/C42935608,“wikidata”:https://www.wikidata.org/wiki/Q190411“,”display_name“:”字段可编程门阵列“,”level“:2,”score“:0.13284343}],”mesh“:[],”locations_count“:6,”location“:[{”is_oa“:true,”landing_page_url“:”https://doi.org/10.1007/s10617-006-9044-6“,”pdf_url“:”https://link.springer.com/content/pdf/10.1007/s10617-006-9044-6.pdf,“源”:{“id”:https://openalex.org/S85498321“,”display_name“:”嵌入式系统的设计自动化“,”issn_l“:”0929-5585“,”isn“:[”09295585“,”1572-8080“],”is_oa“:false,”is.in_doaj“:false,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springr Science+Business Media“],“type”:“journal”},“license”:“cc-by-nc”,“licence_id”:“https://openalex.org/licenses/cc-by-nc“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:true,”landing_page_url“:”https://hal.archives-ouvertes.fr/hal-00310999“,”pdf_url“:”https://hal.science/hal-00310999/document,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:false,“landing_page_url”:“https://hal.science/hal-00310999“,”pdf_url“:null,”source“:null,”license“:nully,”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00310999/document网站“,”pdf_url“:”https://hal.archives-ouvertes.fr/hal-00310999/document网站,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.archives-ouvertes.fr/hal-00310999/file/springer.pdf“,”pdf_url“:”https://hal.archives-ouvertes.fr/hal-00310999/file/springer.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false},{“is_oa”:true,“landing_page_url”:“https://hal.science/hal-00310999/file/springer.pdf“,”pdf_url“:”https://hal.science/hal-00310999/file/springer.pdf,“源”:{“id”:https://openalex.org/S4306402512“,”display_name“:”HAL(通信科学指导中心)“,”issn_l“:null,”issn“:nul,”is_oa“:true,”is-in_doaj“:false,”host_organization“:”https://openalex.org/I1294671590“,”“host_organization_name”:“法国国家科学研究中心”,“host_ordanization_lineage”:[“https://openalex.org/I1294671590“],”host_organization_lineage_names“:[”法国国家科学研究中心“],“type”:“repository”},“license”:null,“licence_id”:null,“version”:“submittedVersion”,“is_accepted”:false,“is_published”:false}],“best_oa_location”:{“is_oa”:true,“landing_page_url”:“https://doi.org/10.1007/s10617-006-9044-6“,”pdf_url“:”https://link.springer.com/content/pdf/10.1007/s10617-006-9044-6.pdf,“源”:{“id”:https://openalex.org/S85498321“,”display_name“:”嵌入式系统的设计自动化“,”issn_l“:”0929-5585“,”isn“:[”09295585“,”1572-8080“],”is_oa“:false,”is.in_doaj“:false,”host_organization“:”https://openalex.org/P4310318900“,”“host_organization_name”:“Springer Science+Business Media”,“host_organization_lineage”:[“https://openalex.org/P431031965","https://openalex.org/P4310318900“],”host_organization_lineage_names“:[”Springer Nature“,”Springer Science+Business Media“],”type“:”journal“},”license“:”cc by nc“,”license_id“:”https://openalex.org/licenses/cc-by-nc“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[],”grants“:[],”datasets“:],”versions“:[https://openalex.org/W1513658513","https://openalex.org/W1586673500","https://openalex.org/W1997960810","https://openalex.org/W2065675749","https://openalex.org/W2084555692","https://openalex.org/W2101416941","https://openalex.org/W2117120804","https://openalex.org/W2125316325","https://openalex.org/W2129538349","https://openalex.org/W2151250735","https://openalex.org/W2154476363","https://openalex.org/W2167671438","https://openalex.org/W2481725867","https://openalex.org/W4300021588“],”related_works“:[”https://openalex.org/W3206586607","https://openalex.org/W2548514518","https://openalex.org/W2533881872","https://openalex.org/W2532163536","https://openalex.org/W2266880325","https://openalex.org/W2133642747","https://openalex.org/W2069603759","https://openalex.org/W1831349210","https://openalex.org/W1603163876","https://openalex.org/W1525398417网址“],”ngrams_url“:”https://api.openalex.org/works/W1968938035/ngrams网站“,”“abstract_inverted_index”:{“We”:[0],“describe”:[1],“a”:[2,29,39,64],“toolbox”:[3,92],“for”:[4],“the”:[5,13,36,43,54102],“analysis”:[6],“of”:[7,31,38,59],“Systems-on-a-chip”:[8],“writed”:[9],“in”:[10101],“System C”:[11,24,40,75],“at”:[12],“transaction”:[14],“级别”:[15],“the”:[16,77,91],“tool”:[17],“is”:[18,69,80,93],“able”:[19,70],“to“:[20,27,71,83],”extract“:[21],”information“:[22],”from“:[23],”code,“:[25],”and“:[26,95],”build“:[28],”set“:[30],”parallel“:[32],”automata“:[33],”that“:[34],”capture“:[35],”semantices“:[37,58],”design,“:[41],”including“:[42],”transactionlevel“:[44],”specific“:[45],“构造。“:[46],”作为“:[47],”远“:[48],”为“:[49,63],”我们“:[50],”知道“:[51],”这个“:[52],”提供“:[53],”第一个“:[55],”可执行文件“:[56],”形式“:[57,85],”SystemC。“:[60],”存在“:[61],”实现“:[62],”传统“:[65],”编译器“:[66],”前端“:[67],”it“:[68],”交易“:[72],”with“:[73],”通用“:[74],”设计。“:[76],”中间“:[78],”表示“:[79],”现在“:[81],”连接“:[82],”现有“:[84],”验证“:[86],”工具“:[87,97],”via“:[88],”适当“:[89],”编码。“:[90],”打开“:[94],”其他“:[96],”将“:[98],”成为“:[99],”使用“:[100],”未来。“:[103]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W1968938035“,”“counts_by_year”:[{“年份”:2022,”“cited_by_count”:1},{“年”:2021,”“cited_by_cunt”:1',{”“年”“:2020,”“cited_by-count”“:1},{年”:2019,“cited_by_cont”:2},}”“年度”:2017,“cited_ by_counts”:1{,”“年份”“:2013,”cited_by_count“:2},{“年份”:2012,”cited_by_count”:5}],”updated_date“:”2024-06-24T14:09:51.999650“,”创建日期“:”2016-06-24“}