{"_id":"N5YfQdz6fbbPD7SBv","bibbaseid":"amar-gaillardon-micheli-bdsmajabddbasedlogicsynthesistoolexploitingmajoritylogicdecomposition-2013","authorIDs":[],"author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca","Gaetano"],"propositions":[],"lastnames":["Amarù"],"suffixes":[]},{"firstnames":["Pierre-Emmanuel"],"propositions":[],"lastnames":["Gaillardon"],"suffixes":[]},{"firstnames":["Giovanni","De"],"propositions":[],"lastnames":["Micheli"],"suffixes":[]}],"title":"BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition","booktitle":"The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013","pages":"47:1–47:6","year":"2013","crossref":"DBLP:conf/dac/2013","url":"https://doi.org/10.1145/2463209.2488792","doi":"10.1145/2463209.2488792","timestamp":"Sun, 02 Jun 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/dac/AmaruGM13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/dac/AmaruGM13,\n author = {Luca Gaetano Amar{\\`{u}} and\n Pierre{-}Emmanuel Gaillardon and\n Giovanni De Micheli},\n title = {{BDS-MAJ:} a BDD-based logic synthesis tool exploiting majority logic\n decomposition},\n booktitle = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,\n TX, USA, May 29 - June 07, 2013},\n pages = {47:1--47:6},\n year = {2013},\n crossref = {DBLP:conf/dac/2013},\n url = {https://doi.org/10.1145/2463209.2488792},\n doi = {10.1145/2463209.2488792},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/dac/AmaruGM13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Amarù, L. G.","Gaillardon, P.","Micheli, G. D."],"key":"DBLP:conf/dac/AmaruGM13","id":"DBLP:conf/dac/AmaruGM13","bibbaseid":"amar-gaillardon-micheli-bdsmajabddbasedlogicsynthesistoolexploitingmajoritylogicdecomposition-2013","role":"author","urls":{"Paper":"https://doi.org/10.1145/2463209.2488792"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://ycunxi.github.io/utah-csl/bibtex/all.bib","creationDate":"2019-11-14T21:28:28.409Z","downloads":0,"keywords":[],"search_terms":["bds","maj","bdd","based","logic","synthesis","tool","exploiting","majority","logic","decomposition","amarù","gaillardon","micheli"],"title":"BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition","year":2013,"dataSources":["L6BLFSB28hKk5Nt67"]}