001432833 000__ 04027cam\a2200613\i\4500 001432833 001__ 1432833 001432833 003__ OCoLC 001432833 005__ 20230309003535.0 001432833 006__ m\\\\\o\\d\\\\\\\\ 001432833 007__ cr\nn\nnnunnun 001432833 008__ 201107t20212021sz\a\\\\ob\\\\001\0\eng\d 001432833 019__ $$a1204316452$$a1206402101$$a1237466728$$a1250096068$$a1287763996 001432833 020__ $$a9783030604882$$qelectronic book 001432833 020__ $$a3030604888$$qelectronic book 001432833 020__ $$z9783030604875$$qhardcover 001432833 0247_ $$a10.1007/978-3-030-60488-2$$2doi 001432833 035__ $$aSP(OCoLC)1225563398 001432833 040__ $$aSFB$$beng$$epn$$erda$$cSFB$$dOCLCO$$dOCLCF$$dGW5XE$$dEBLCP$$dYDX$$dOCLCO$$dWAU$$dOCLCO$$dDCT$$dOCLCO$$dOCLCQ 001432833 049__ $$aISEA 001432833 050_4 $$aTK7895.G36 001432833 08204 $$a621.39/5$$223 001432833 1001_ $$aKubica, Marcin$$eauthor. 001432833 24510 $$aTechnology mapping for LUT-based FPGA /$$cMarcin Kubica, Adam Opara, Dariusz Kania. 001432833 264_1 $$aCham, Switzerland :$$bSpringer,$$c[2021] 001432833 264_4 $$c©2021 001432833 300__ $$a1 online resource (ix, 207 pages) :$$billustrations (some color). 001432833 336__ $$atext$$btxt$$2rdacontent 001432833 336__ $$astill image$$bsti$$2rdacontent 001432833 337__ $$acomputer$$bc$$2rdamedia 001432833 338__ $$aonline resource$$bcr$$2rdacarrier 001432833 347__ $$atext file$$bPDF$$2rda 001432833 4901_ $$aLecture notes in electrical engineering,$$x1876-1119 ;$$vvolume 713 001432833 504__ $$aIncludes bibliographical references and index. 001432833 5050_ $$aIntroduction -- Methods for representing Boolean functions : basic definitions -- Binary decision diagrams -- Theoretical basis of decomposition -- Decomposition of functions described using BDD -- Ordering variables in BDD diagrams -- Nondisjoint decomposition -- Decomposition of multioutput functions described using BDD -- Partial sharing of logic resources -- Ability of the configuration of configurable logic blocks -- Technology mapping of logic functions in LUT blocks -- Technology mapping of logic functions in complex logic blocks -- Decomposition methods of FSM implementation -- Algorithms for decomposition and technological mapping -- Results of experiments -- Summary. 001432833 506__ $$aAccess limited to authorized users. 001432833 520__ $$aThis book covers selected topics of automated logic synthesis dedicated to FPGAs. The authors focused on two main problems: decomposition of the multioutput functions and technology mapping. Additionally, the idea of using binary decision diagrams (BDD) in these processes was presented. The book is a scientific monograph summarizing the authors' many years of research. As a result, it contains a large number of experimental results, which makes it a valuable source for other researchers. The book has a significant didactic value. Its arrangement allows for a gradual transition from basic things (e.g., description of logic functions) to much more complex issues. This approach allows less advanced readers to better understand the described problems. In addition, the authors made sure that the issues described in the book were supported by practical examples, thanks to which the reader can independently analyze even the most complex problems described in the book. 001432833 588__ $$aDescription based on print version record. 001432833 650_0 $$aField programmable gate arrays. 001432833 650_0 $$aProgrammable array logic. 001432833 650_0 $$aGate array circuits. 001432833 650_6 $$aRéseaux logiques programmables par l'utilisateur. 001432833 650_6 $$aLogique à réseau programmable. 001432833 650_6 $$aCircuits prédiffusés. 001432833 655_0 $$aElectronic books. 001432833 7001_ $$aOpara, Adam,$$eauthor. 001432833 7001_ $$aKania, Dariusz,$$eauthor. 001432833 77608 $$iPrint version:$$aKubica, Marcin.$$tTechnology mapping for LUT-based FPGA.$$dCham, Switzerland : Springer, [2021]$$z9783030604875$$w(OCoLC)1191704503 001432833 830_0 $$aLecture notes in electrical engineering ;$$vv. 713. 001432833 852__ $$bebk 001432833 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-60488-2$$zOnline Access$$91397441.1 001432833 909CO $$ooai:library.usi.edu:1432833$$pGLOBAL_SET 001432833 980__ $$aBIB 001432833 980__ $$aEBOOK 001432833 982__ $$aEbook 001432833 983__ $$aOnline 001432833 994__ $$a92$$bISE