乐胖代购免代理版

{"id":"https://openalex.org/W2145993717","doi":"https://doi.org/10.1109/iccta.2007.111","title":"Register Sharing Verification During Data-Path Synthesis","display_name":"Register Sharing Verification During Data-Path Synthesis","publication_year":2007,"publication_date":"2007-03-01","ids":{"openalex":"https://openalex.org/W2145993717","doi":"https://doi.org/10.1109/iccta.2007.111","mag":"2145993717"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccta.2007.111","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"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":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083752855","display_name":"Chandan Karfa","orcid":"https://orcid.org/0000-0002-3835-4184"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"C. Karfa","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur."],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur.","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027424392","display_name":"Chittaranjan Mandal","orcid":"https://orcid.org/0000-0002-5228-7002"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"C. Mandal","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur."],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur.","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101398868","display_name":"D. Sarkar","orcid":"https://orcid.org/0000-0002-3066-9819"},"institutions":[{"id":"https://openalex.org/I145894827","display_name":"Indian Institute of Technology Kharagpur","ror":"https://ror.org/03w5sq511","country_code":"IN","type":"education","lineage":["https://openalex.org/I145894827"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"D. Sarkar","raw_affiliation_strings":["Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur."],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Indian Institute of Technology, Kharagpur.","institution_ids":["https://openalex.org/I145894827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058274734","display_name":"Chris Reade","orcid":null},"institutions":[{"id":"https://openalex.org/I205051169","display_name":"Kingston University","ror":"https://ror.org/05bbqza97","country_code":"GB","type":"education","lineage":["https://openalex.org/I205051169"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Chris Reade","raw_affiliation_strings":["Kingston University, UK,"],"affiliations":[{"raw_affiliation_string":"Kingston University, UK,","institution_ids":["https://openalex.org/I205051169"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.554,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":4,"citation_normalized_percentile":{"value":0.438633,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":78},"biblio":{"volume":null,"issue":null,"first_page":"135","last_page":"140"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998,"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 Verification","score":0.9995,"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/datapath","display_name":"Datapath","score":0.85100496},{"id":"https://openalex.org/keywords/register-allocation","display_name":"Register allocation","score":0.84706676},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-Level Synthesis","score":0.7451675},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness","score":0.41740784}],"concepts":[{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.85100496},{"id":"https://openalex.org/C128916667","wikidata":"https://www.wikidata.org/wiki/Q1343660","display_name":"Register allocation","level":3,"score":0.84706676},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78824115},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.7451675},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6498495},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.50055337},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.41740784},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40375397},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29846662},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.21657184},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.19691384},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.140205},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.099077135},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccta.2007.111","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":14,"referenced_works":["https://openalex.org/W1541092693","https://openalex.org/W1935767978","https://openalex.org/W2026880718","https://openalex.org/W2104511190","https://openalex.org/W2105063618","https://openalex.org/W2113272334","https://openalex.org/W2114266730","https://openalex.org/W2121492918","https://openalex.org/W2161138546","https://openalex.org/W2171318521","https://openalex.org/W2378259225","https://openalex.org/W2987907651","https://openalex.org/W33213599","https://openalex.org/W4234537939"],"related_works":["https://openalex.org/W4224026286","https://openalex.org/W2166021916","https://openalex.org/W2137686989","https://openalex.org/W2135482679","https://openalex.org/W2084005807","https://openalex.org/W2004001588","https://openalex.org/W1994884893","https://openalex.org/W1903431847","https://openalex.org/W1839177134","https://openalex.org/W1486267685"],"abstract_inverted_index":{"The":[0,27,69,88,119],"variables":[1,11,37],"of":[2,23,46,64,74,95,102],"the":[3,7,16,30,36,39,47,62,72,75,103],"high-level":[4,24,48],"specifications":[5],"and":[6,38,71,109,114,127,142],"automatically":[8],"generated":[9],"temporary":[10],"are":[12,32,79],"mapped":[13],"on":[14,92],"to":[15],"data-path":[17,20,76],"registers":[18,28],"during":[19],"synthesis":[21,25,49,77,140],"phase":[22,78],"process.":[26],"in":[29],"datapath":[31],"usually":[33],"shared":[34],"by":[35],"mapping":[40],"is":[41,67,90,100,135],"not":[42],"bijective":[43],"as":[44,81],"most":[45],"tools":[50],"perform":[51],"register":[52,65,107,117],"optimization.":[53,118],"In":[54],"this":[55],"paper,":[56],"a":[57],"formal":[58],"methodology":[59],"for":[60,106,111,123,146],"verifying":[61],"correctness":[63],"sharing":[66],"described.":[68],"input":[70,130],"output":[73],"represented":[80],"finite":[82],"state":[83],"machines":[84],"with":[85,137],"datapaths":[86],"(FSMD).":[87],"method":[89,120],"based":[91,116],"checking":[93],"equivalence":[94],"two":[96],"FSMDs.":[97],"Our":[98,132],"technique":[99],"independent":[101],"mechanism":[104],"used":[105],"optimization":[108],"works":[110,122],"both":[112,124],"carrier":[113],"value":[115],"also":[121],"data":[125],"intensive":[126,129],"control":[128],"specification.":[131],"current":[133],"implementation":[134],"integrated":[136],"an":[138],"existing":[139],"tool":[141],"has":[143],"been":[144],"tested":[145],"robustness":[147]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2145993717","counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-01-09T11:23:54.459686","created_date":"2016-06-24"}