{"id":"https://openalex.org/W1929436711","doi":"https://doi.org/10.1109/glsv.1999.757404","title":"SINMEF-a decomposition based synthesis tool for large FSMs","display_name":"SINMEF-a decomposition based synthesis tool for large FSMs","publication_year":2003,"publication_date":"2003-01-20","ids":{"openalex":"https://openalex.org/W1929436711","doi":"https://doi.org/10.1109/glsv.1999.757404","mag":"1929436711"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/glsv.1999.757404","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/A5042189424","display_name":"Carlos H. Llanos","orcid":"https://orcid.org/0000-0002-0115-4461"},"institutions":[{"id":"https://openalex.org/I150729083","display_name":"Universidade de Bras\u00edlia","ror":"https://ror.org/02xfp8v59","country_code":"BR","type":"education","lineage":["https://openalex.org/I150729083"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"C.H.L. Quintero","raw_affiliation_strings":["Departamento de Computa\u00e7\u00e3o, Universidade de Brasilia (UnB), Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Computa\u00e7\u00e3o, Universidade de Brasilia (UnB), Brazil","institution_ids":["https://openalex.org/I150729083"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106446871","display_name":"Marius Strum","orcid":null},"institutions":[{"id":"https://openalex.org/I17974374","display_name":"Universidade de S\u00e3o Paulo","ror":"https://ror.org/036rp1748","country_code":"BR","type":"education","lineage":["https://openalex.org/I17974374"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"M. Strum","raw_affiliation_strings":["LME, Laborat\u00f4rio de Microeletr\u00f4nica, Universidade de S\u00e1o Paulo, Brazil"],"affiliations":[{"raw_affiliation_string":"LME, Laborat\u00f4rio de Microeletr\u00f4nica, Universidade de S\u00e1o Paulo, Brazil","institution_ids":["https://openalex.org/I17974374"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.205,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":1,"citation_normalized_percentile":{"value":0.262655,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":59,"max":66},"biblio":{"volume":null,"issue":null,"first_page":"176","last_page":"179"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9991,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9991,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.999,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.9977,"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":[],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.73137367},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.70685303},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.63223845},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5967625},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4909511},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4734844},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46780255},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4632306},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36248666},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.35698527},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20487657},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/glsv.1999.757404","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":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.48}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":11,"referenced_works":["https://openalex.org/W142838967","https://openalex.org/W1543281322","https://openalex.org/W1970327727","https://openalex.org/W2059677035","https://openalex.org/W2082909013","https://openalex.org/W2105149330","https://openalex.org/W2118944784","https://openalex.org/W2133585957","https://openalex.org/W2136241326","https://openalex.org/W2155526635","https://openalex.org/W2317462728"],"related_works":["https://openalex.org/W4387024110","https://openalex.org/W4281261571","https://openalex.org/W4251237796","https://openalex.org/W4224278052","https://openalex.org/W2535494882","https://openalex.org/W2380059383","https://openalex.org/W2130298743","https://openalex.org/W2098353690","https://openalex.org/W2063679720","https://openalex.org/W1232590083"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"the":[3,8,11,49,67,98,102],"SINMEF":[4],"environment,":[5],"composed":[6],"of":[7,26,29,38,82,101,113],"DECMEF":[9,23],"and":[10,58,61,90],"SIS":[12,68],"systems,":[13],"used":[14,46],"to":[15,31,47,108],"synthesize":[16],"large":[17],"finite":[18],"state":[19,56],"machines":[20],"(FSMs).":[21],"The":[22,52],"system":[24,104],"consists":[25],"a":[27,33,36],"set":[28,37],"tools":[30,65],"decompose":[32],"FSM":[34],"into":[35],"cooperating":[39],"sub-FSMs.":[40],"An":[41],"efficient":[42],"cost":[43],"function":[44],"is":[45],"guide":[48],"decomposition":[50,103],"process.":[51],"decomposed":[53],"FSMs":[54,73,109],"are":[55],"encoded":[57],"further":[59],"optimized":[60],"technology":[62],"mapped":[63],"using":[64],"from":[66],"system.":[69],"Results":[70],"obtained":[71],"for":[72],"with":[74,110],"more":[75],"than":[76],"1000":[77],"states":[78],"showed":[79],"an":[80],"improvement":[81],"as":[83,85],"much":[84],"60.42%":[86],"in":[87,92],"critical":[88],"path":[89],"14.79%":[91],"area.":[93],"Preliminary":[94],"results":[95],"show":[96],"that":[97],"recursive":[99],"use":[100],"extends":[105],"its":[106],"application":[107],"several":[111],"thousands":[112],"states.":[114]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1929436711","counts_by_year":[],"updated_date":"2024-12-10T10:28:51.906430","created_date":"2016-06-24"}