{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:32:27Z","timestamp":1729650747707,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/sbcci.2003.1232829","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"199-204","source":"Crossref","is-referenced-by-count":5,"title":["Unified theory to build cell-level transistor networks from BDDs [logic synthesis]"],"prefix":"10.1109","author":[{"given":"R.E.B.","family":"Poli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.R.","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.P.","family":"Ribas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.I.","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Equivalence Classes of Logic Functions","author":"sasao","year":"1999","journal-title":"Switching Theory for Logic Synthesis Section 5 7"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675229"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2002.1137683"},{"key":"ref13","article-title":"Procedure 4.2.1: Design of Logic Networks with Negative Gates in Single-Rail Input Logic","author":"muroga","year":"1979","journal-title":"VLSI System Design When and How to Design Very-Large-Scale Integrated Circuits"},{"key":"ref14","article-title":"SIS: A system for sequential circuit synthesis","author":"sentovich","year":"1992","journal-title":"Technical Report UCB\/ERL M92\/41"},{"key":"ref15","article-title":"A symbolic analisys of relay and switching circuits","author":"shannon","year":"1938","journal-title":"Trans AIEE"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1956.tb03835.x"},{"key":"ref4","article-title":"Technology Mapping for High-Performance Static CMOS and Pass Transistor Logic Designs","volume":"9","author":"jiang","year":"2001","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/4.509865"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35311-1_25"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1118","DOI":"10.1049\/el:19950799","article-title":"associating cmos transistors with bdd arcs for technology mapping","volume":"31","author":"reis","year":"1995","journal-title":"Electronics Letters"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/224081.224110"},{"key":"ref7","article-title":"Library-Less Synthesis for Static Combinational Logic Circuits","author":"gavrilov","year":"0","journal-title":"ICCAD97"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643609"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref9","first-page":"58","article-title":"Classifying n-Input Boolean Functions","author":"correia","year":"2001","journal-title":"VII WORKSHOP IBERCHIP 2001 Montevideo IWS 2001 - VII Workshop Iberchip"}],"event":{"name":"16th Symposium on Integrated Circuits and Systems Design. SBCCI 2003","acronym":"SBCCI-03","location":"Sao Paulo, Brazil"},"container-title":["16th Symposium on Integrated Circuits and Systems Design, 2003. SBCCI 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8726\/27627\/01232829.pdf?arnumber=1232829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:18:34Z","timestamp":1497583114000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1232829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sbcci.2003.1232829","relation":{},"subject":[]}}