{"id":"https://openalex.org/W2140967186","doi":"https://doi.org/10.1109/aspdac.2014.6742961","title":"Data compression via logic synthesis","display_name":"Data compression via logic synthesis","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2140967186","doi":"https://doi.org/10.1109/aspdac.2014.6742961","mag":"2140967186"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2014.6742961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2014.6742961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/188645","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023405941","display_name":"Luca Amar\u00f9","orcid":null},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Luca Amaru","raw_affiliation_strings":["Integrated Systems Laboratory (LSI), EPFL, Switzerland","Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Integrated Systems Laboratory (LSI), EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002568331","display_name":"Pierre\u2010Emmanuel Gaillardon","orcid":"https://orcid.org/0000-0003-3634-3999"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Pierre-Emmanuel Gaillardon","raw_affiliation_strings":["Integrated Systems Laboratory (LSI), EPFL, Switzerland","Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Integrated Systems Laboratory (LSI), EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059133771","display_name":"Andreas Burg","orcid":"https://orcid.org/0000-0002-7270-5558"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Andreas Burg","raw_affiliation_strings":["Telecommunication Circuits Laboratory (TCL), EPFL, Switzerland","Telecommun. Circuits Lab. (TCL), EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Telecommunication Circuits Laboratory (TCL), EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Telecommun. Circuits Lab. (TCL), EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072927296","display_name":"Giovanni De Micheli","orcid":"https://orcid.org/0000-0002-7827-3215"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Giovanni De Micheli","raw_affiliation_strings":["Integrated Systems Laboratory (LSI), EPFL, Switzerland","Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland"],"affiliations":[{"raw_affiliation_string":"Integrated Systems Laboratory (LSI), EPFL, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Integrated Syst. Lab. (LSI), EPFL, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023405941"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.409,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.75407118,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"628","last_page":"633"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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 Optimization Techniques","score":0.9944999814033508,"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/lossless-compression","display_name":"Lossless compression","score":0.8456265926361084},{"id":"https://openalex.org/keywords/lossy-compression","display_name":"Lossy compression","score":0.7189319133758545},{"id":"https://openalex.org/keywords/decorrelation","display_name":"Decorrelation","score":0.7050295472145081},{"id":"https://openalex.org/keywords/data-compression","display_name":"Data compression","score":0.6736907958984375},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6660518646240234},{"id":"https://openalex.org/keywords/arithmetic-coding","display_name":"Arithmetic coding","score":0.6653619408607483},{"id":"https://openalex.org/keywords/entropy-encoding","display_name":"Entropy encoding","score":0.6319862604141235},{"id":"https://openalex.org/keywords/adaptive-coding","display_name":"Adaptive coding","score":0.5983021259307861},{"id":"https://openalex.org/keywords/context-adaptive-binary-arithmetic-coding","display_name":"Context-adaptive binary arithmetic coding","score":0.5547043681144714},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5545795559883118},{"id":"https://openalex.org/keywords/huffman-coding","display_name":"Huffman coding","score":0.5148283839225769},{"id":"https://openalex.org/keywords/data-compression-ratio","display_name":"Data compression ratio","score":0.47153928875923157},{"id":"https://openalex.org/keywords/tunstall-coding","display_name":"Tunstall coding","score":0.4106360375881195},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3452652096748352},{"id":"https://openalex.org/keywords/image-compression","display_name":"Image compression","score":0.27775126695632935},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19107311964035034},{"id":"https://openalex.org/keywords/image-processing","display_name":"Image processing","score":0.06813105940818787}],"concepts":[{"id":"https://openalex.org/C81081738","wikidata":"https://www.wikidata.org/wiki/Q55542","display_name":"Lossless compression","level":3,"score":0.8456265926361084},{"id":"https://openalex.org/C165021410","wikidata":"https://www.wikidata.org/wiki/Q55564","display_name":"Lossy compression","level":2,"score":0.7189319133758545},{"id":"https://openalex.org/C177860922","wikidata":"https://www.wikidata.org/wiki/Q788608","display_name":"Decorrelation","level":2,"score":0.7050295472145081},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.6736907958984375},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6660518646240234},{"id":"https://openalex.org/C153338461","wikidata":"https://www.wikidata.org/wiki/Q2651","display_name":"Arithmetic coding","level":4,"score":0.6653619408607483},{"id":"https://openalex.org/C1769480","wikidata":"https://www.wikidata.org/wiki/Q1345239","display_name":"Entropy encoding","level":3,"score":0.6319862604141235},{"id":"https://openalex.org/C57890076","wikidata":"https://www.wikidata.org/wiki/Q4680725","display_name":"Adaptive coding","level":4,"score":0.5983021259307861},{"id":"https://openalex.org/C175732694","wikidata":"https://www.wikidata.org/wiki/Q1128713","display_name":"Context-adaptive binary arithmetic coding","level":3,"score":0.5547043681144714},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5545795559883118},{"id":"https://openalex.org/C46900642","wikidata":"https://www.wikidata.org/wiki/Q2647","display_name":"Huffman coding","level":3,"score":0.5148283839225769},{"id":"https://openalex.org/C94835093","wikidata":"https://www.wikidata.org/wiki/Q3113333","display_name":"Data compression ratio","level":5,"score":0.47153928875923157},{"id":"https://openalex.org/C73231260","wikidata":"https://www.wikidata.org/wiki/Q7853376","display_name":"Tunstall coding","level":4,"score":0.4106360375881195},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3452652096748352},{"id":"https://openalex.org/C13481523","wikidata":"https://www.wikidata.org/wiki/Q412438","display_name":"Image compression","level":4,"score":0.27775126695632935},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19107311964035034},{"id":"https://openalex.org/C9417928","wikidata":"https://www.wikidata.org/wiki/Q1070689","display_name":"Image processing","level":3,"score":0.06813105940818787},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/aspdac.2014.6742961","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2014.6742961","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.698.9386","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.9386","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/188645/files/06742961.pdf","raw_type":"text"},{"id":"pmh:oai:infoscience.epfl.ch:188645","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/188645","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:188645","is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/94803","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":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:188645","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/188645","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1588594383","https://openalex.org/W1972494393","https://openalex.org/W2009295991","https://openalex.org/W2012320537","https://openalex.org/W2018140810","https://openalex.org/W2060108852","https://openalex.org/W2065954922","https://openalex.org/W2076257979","https://openalex.org/W2099961767","https://openalex.org/W2107745473","https://openalex.org/W2129183345","https://openalex.org/W2161488606","https://openalex.org/W2170435443","https://openalex.org/W2188273790","https://openalex.org/W3141738526","https://openalex.org/W4205318349","https://openalex.org/W4240982339","https://openalex.org/W6655297870","https://openalex.org/W6683504902"],"related_works":["https://openalex.org/W2136537500","https://openalex.org/W1499106570","https://openalex.org/W2106538169","https://openalex.org/W2541574816","https://openalex.org/W2138430606","https://openalex.org/W1568325880","https://openalex.org/W2096793045","https://openalex.org/W2167897635","https://openalex.org/W2004422195","https://openalex.org/W1489137"],"abstract_inverted_index":{"Nowadays,":[0],"most":[1,35],"software":[2],"and":[3,12,56,106,215],"hardware":[4],"applications":[5],"are":[6],"committed":[7],"to":[8,42,75,80,148,155,177,207],"reduce":[9],"the":[10,43,68,71,82,90,93,109,117,157,179,198,202],"footprint":[11],"resource":[13],"usage":[14],"of":[15,51,70,84,92,160],"data.":[16],"In":[17,141],"this":[18,142],"general":[19],"context,":[20],"lossless":[21,119,138,161,167],"data":[22,54,73,96,110,129,153,184,189],"compression":[23,48,120,139,168,204,209],"is":[24,112,131,175],"a":[25,133,165,183],"beneficial":[26],"technique":[27],"that":[28,197],"encodes":[29],"information":[30],"using":[31,98],"fewer":[32],"(or":[33],"at":[34,66],"equal":[36],"number":[37],"of)":[38],"bits":[39],"as":[40,101,212],"compared":[41,206],"original":[44],"representation.":[45],"A":[46],"traditional":[47],"flow":[49],"consists":[50],"two":[52],"phases:":[53],"decorrelation":[55,111,130],"entropy":[57,63,85,114,126],"encoding.":[58,86],"Data":[59],"decorrelation,":[60],"also":[61],"called":[62],"reduction,":[64],"aims":[65],"reducing":[67],"autocorrelation":[69],"input":[72],"stream":[74],"be":[76],"compressed":[77],"in":[78,151,164],"order":[79],"enhance":[81],"efficiency":[83],"Entropy":[87],"encoding":[88,115,127],"reduces":[89],"size":[91],"previously":[94],"decorrelated":[95],"by":[97],"techniques":[99],"such":[100,211],"Huffman":[102],"coding,":[103,105],"arithmetic":[104],"others.":[107],"When":[108],"optimal,":[113],"produces":[116],"strongest":[118],"possible.":[121],"While":[122],"efficient":[123],"solutions":[124],"for":[125],"exist,":[128],"still":[132],"challenging":[134],"problem":[135],"limiting":[136],"ultimate":[137],"opportunities.":[140],"paper,":[143],"we":[144],"use":[145],"logic":[146,171],"synthesis":[147,172],"remove":[149],"redundancy":[150],"binary":[152],"aiming":[154],"unlock":[156],"full":[158],"potential":[159],"compression.":[162],"Embedded":[163],"complete":[166],"flow,":[169],"our":[170],"based":[173],"methodology":[174],"capable":[176],"identify":[178],"underlying":[180],"function":[181],"correlating":[182],"set.":[185],"Experimental":[186],"results":[187],"on":[188],"sets":[190],"deriving":[191],"from":[192],"different":[193],"causal":[194],"processes":[195],"show":[196],"proposed":[199],"approach":[200],"achieves":[201],"highest":[203],"ratio":[205],"state-of-art":[208],"tools":[210],"ZIP,":[213],"bzip2":[214],"7zip.":[216]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}