{"id":"https://openalex.org/W2092113050","doi":"https://doi.org/10.1002/cta.4490230414","title":"Symbolic compaction with analogue constraints","display_name":"Symbolic compaction with analogue constraints","publication_year":1995,"publication_date":"1995-07-01","ids":{"openalex":"https://openalex.org/W2092113050","doi":"https://doi.org/10.1002/cta.4490230414","mag":"2092113050"},"language":"en","primary_location":{"id":"doi:10.1002/cta.4490230414","is_oa":false,"landing_page_url":"https://doi.org/10.1002/cta.4490230414","pdf_url":null,"source":{"id":"https://openalex.org/S92132303","display_name":"International Journal of Circuit Theory and Applications","issn_l":"0098-9886","issn":["0098-9886","1097-007X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Circuit Theory and Applications","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/85457","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058037019","display_name":"E. Malavasi","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Enrico Malavasi","raw_affiliation_strings":["Dipartimento di Elettronica e Informatica (DEI), Universita\u0300 di Padova, via Gradenigo, 6/A, I-35131 Padova, Italy","Dipartimento di Elettronica e Informatica (DEI), Universit\u00e0 di Padova, via Gradenigo, 6/A, I\u201035131 Padova, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informatica (DEI), Universita\u0300 di Padova, via Gradenigo, 6/A, I-35131 Padova, Italy","institution_ids":["https://openalex.org/I138689650"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informatica (DEI), Universit\u00e0 di Padova, via Gradenigo, 6/A, I\u201035131 Padova, Italy","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033950639","display_name":"Eric Felt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Felt","raw_affiliation_strings":["Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026782847","display_name":"Edoardo Charbon","orcid":"https://orcid.org/0000-0002-0620-3365"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Edoardo Charbon","raw_affiliation_strings":["Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088660554","display_name":"Alberto Sangiovanni\u2010Vincentelli","orcid":"https://orcid.org/0000-0003-1298-8389"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alberto Sangiovanni\u2010Vincentelli","raw_affiliation_strings":["Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A"],"affiliations":[{"raw_affiliation_string":"Department of EECS, University of California, Cory Hall, Berkeley, CA 94720, U.S.A","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5058037019"],"corresponding_institution_ids":["https://openalex.org/I138689650"],"apc_list":{"value":3660,"currency":"USD","value_usd":3660},"apc_paid":null,"fwci":1.31956906,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.82565858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"23","issue":"4","first_page":"433","last_page":"452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T11522","display_name":"VLSI and FPGA Design Techniques","score":1.0,"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.9995999932289124,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7503377199172974},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.6416686773300171},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5381461381912231},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.5359659194946289},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5315154790878296},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5010788440704346},{"id":"https://openalex.org/keywords/constraint-graph","display_name":"Constraint graph","score":0.497210294008255},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.453057199716568},{"id":"https://openalex.org/keywords/routing","display_name":"Routing (electronic design automation)","score":0.43513065576553345},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4200519025325775},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.41875842213630676},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35600465536117554},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.27235743403434753},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2410532832145691},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.15798142552375793},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint logic programming","score":0.15026208758354187}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7503377199172974},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6416686773300171},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5381461381912231},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.5359659194946289},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5315154790878296},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5010788440704346},{"id":"https://openalex.org/C178481205","wikidata":"https://www.wikidata.org/wiki/Q5164372","display_name":"Constraint graph","level":5,"score":0.497210294008255},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.453057199716568},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.43513065576553345},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4200519025325775},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.41875842213630676},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35600465536117554},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.27235743403434753},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2410532832145691},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.15798142552375793},{"id":"https://openalex.org/C176783269","wikidata":"https://www.wikidata.org/wiki/Q5164378","display_name":"Constraint logic programming","level":4,"score":0.15026208758354187},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1002/cta.4490230414","is_oa":false,"landing_page_url":"https://doi.org/10.1002/cta.4490230414","pdf_url":null,"source":{"id":"https://openalex.org/S92132303","display_name":"International Journal of Circuit Theory and Applications","issn_l":"0098-9886","issn":["0098-9886","1097-007X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Circuit Theory and Applications","raw_type":"journal-article"},{"id":"pmh:oai:infoscience.tind.io:85457","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/85457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"}],"best_oa_location":{"id":"pmh:oai:infoscience.tind.io:85457","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/85457","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"research article"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.4699999988079071,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321012","display_name":"Technische Universiteit Delft","ror":"https://ror.org/02e2c7k09"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W291003596","https://openalex.org/W1596389998","https://openalex.org/W1984954427","https://openalex.org/W2044348081","https://openalex.org/W2106024901","https://openalex.org/W2113329856","https://openalex.org/W2120889849","https://openalex.org/W2121482944","https://openalex.org/W2137046572","https://openalex.org/W2139763182","https://openalex.org/W2146519106","https://openalex.org/W2157431972","https://openalex.org/W2316564661","https://openalex.org/W4247888923"],"related_works":["https://openalex.org/W1820477541","https://openalex.org/W1957191361","https://openalex.org/W1486916474","https://openalex.org/W2032348095","https://openalex.org/W4239133097","https://openalex.org/W2097415053","https://openalex.org/W115413730","https://openalex.org/W1971069708","https://openalex.org/W2140769824","https://openalex.org/W2473127620"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"tool":[2],"named":[3],"SPARCS\u2010A":[4],"for":[5,125],"compaction":[6,29],"of":[7,78,135,156],"integrated":[8],"circuits":[9],"with":[10],"analogue":[11,130],"constraints":[12,47,101,121],"is":[13,17,58,83,89,123],"presented.":[14],"the":[15,45,51,55,75,79,90,94,118,133,143,154,157],"approach":[16],"structured":[18],"in":[19],"two":[20],"steps.":[21],"First":[22],"a":[23,32,61,113,137],"robust":[24],"and":[25,69,98,122,150],"efficient":[26],"constraint":[27,95],"graph":[28,96],"algorithm":[30,97,111],"produces":[31,112],"compacted":[33,114],"layout":[34,52,115,159],"quickly,":[35],"where":[36],"parasitics":[37],"are":[38,48],"controlled":[39],"so":[40],"as":[41],"to":[42,103,141],"guarantee":[43],"that":[44],"performance":[46,120],"met.":[49],"Next":[50],"produced":[53],"by":[54,93],"first":[56],"step":[57],"fed":[59],"into":[60],"linear":[62],"programming":[63],"(LP)":[64],"solver":[65,82],"which":[66,116],"enforces":[67],"symmetries":[68],"performs":[70],"global":[71],"interconnect":[72],"length":[73],"minimization.":[74],"computational":[76,108],"cost":[77],"iterative":[80],"LP":[81],"modest,":[84],"because":[85],"its":[86],"initial":[87],"state":[88],"configuration":[91],"found":[92],"only":[99],"symmetry":[100],"need":[102],"be":[104],"enforced.":[105],"With":[106],"considerable":[107],"efficiency":[109,155],"this":[110],"satisfies":[117],"high\u2010level":[119],"feasible":[124],"practical":[126],"use":[127,134],"within":[128],"industrial\u2010strength":[129],"synthesis":[131],"systems.":[132],"such":[136],"compactor":[138],"allows":[139],"one":[140],"relax":[142],"requirements":[144],"on":[145],"parasitic":[146],"control":[147],"during":[148],"placement":[149],"routing,":[151],"thus":[152],"improving":[153],"entire":[158],"design":[160],"process.":[161]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}