BibTeX records: Osvaldo Martinello

• > Home > Persons > Osvaldo Martinello

@inproceedings{DBLP:conf/date/MartinelloMRR10,
  author       = {Osvaldo Martinello and
                  Felipe S. Marques and
                  Renato P. Ribas and
                  Andr{\'{e}} In{\'{a}}cio Reis},
  editor       = {Giovanni De Micheli and
                  Bashir M. Al{-}Hashimi and
                  Wolfgang M{\"{u}}ller and
                  Enrico Macii},
  title        = {KL-Cuts: {A} new approach for logic synthesis targeting multiple output
                  blocks},
  booktitle    = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
                  March 8-12, 2010},
  pages        = {777--782},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/DATE.2010.5456946},
  doi          = {10.1109/DATE.2010.5456946},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/date/MartinelloMRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbcci/MarquesMRR10,
  author       = {Felipe S. Marques and
                  Osvaldo Martinello and
                  Renato P. Ribas and
                  Andr{\'{e}} In{\'{a}}cio Reis},
  editor       = {Jo{\~{a}}o Antonio Martino and
                  Guido Araujo and
                  Alex Orailoglu and
                  Felipe Klein},
  title        = {Improvements on the detection of false paths by using unateness and
                  satisfiability},
  booktitle    = {Proceedings of the 23rd Annual Symposium on Integrated Circuits and
                  Systems Design, {SBCCI} 2010, S{\~{a}}o Paulo, Brazil, September 6-9,
                  2010},
  pages        = {192--197},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1854153.1854201},
  doi          = {10.1145/1854153.1854201},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbcci/MarquesMRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}