000 04597nam a22005535i 4500
001 978-3-031-79867-2
003 DE-He213
005 20240730164200.0
007 cr nn 008mamaa
008 220601s2014 sz | s |||| 0|eng d
020 _a9783031798672
_9978-3-031-79867-2
024 7 _a10.1007/978-3-031-79867-2
_2doi
050 4 _aT1-995
072 7 _aTBC
_2bicssc
072 7 _aTEC000000
_2bisacsh
072 7 _aTBC
_2thema
082 0 4 _a620
_223
100 1 _aThornton, Mitchell A.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_982641
245 1 0 _aModeling Digital Switching Circuits with Linear Algebra
_h[electronic resource] /
_cby Mitchell A. Thornton.
250 _a1st ed. 2014.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2014.
300 _aXIII, 145 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSynthesis Lectures on Digital Circuits & Systems,
_x1932-3174
505 0 _aIntroduction -- Information as a Vector -- Switching Network Transfer Functions -- Simulation and Justification -- MVL Switching Networks -- Binary Switching Network Spectra -- Multi-valued Switching Network Spectra -- Implementation Considerations -- Summary -- Bibliography -- Author's Biography -- Index.
520 _aModeling Digital Switching Circuits with Linear Algebra describes an approach for modeling digital information and circuitry that is an alternative to Boolean algebra. While the Boolean algebraic model has been wildly successful and is responsible for many advances in modern information technology, the approach described in this book offers new insight and different ways of solving problems. Modeling the bit as a vector instead of a scalar value in the set {0, 1} allows digital circuits to be characterized with transfer functions in the form of a linear transformation matrix. The use of transfer functions is ubiquitous in many areas of engineering and their rich background in linear systems theory and signal processing is easily applied to digital switching circuits with this model. The common tasks of circuit simulation and justification are specific examples of the application of the linear algebraic model and are described in detail. The advantages offered by the new model as compared to traditional methods are emphasized throughout the book. Furthermore, the new approach is easily generalized to other types of information processing circuits such as those based upon multiple-valued or quantum logic; thus providing a unifying mathematical framework common to each of these areas. Modeling Digital Switching Circuits with Linear Algebra provides a blend of theoretical concepts and practical issues involved in implementing the method for circuit design tasks. Data structures are described and are shown to not require any more resources for representing the underlying matrices and vectors than those currently used in modern electronic design automation (EDA) tools based on the Boolean model. Algorithms are described that perform simulation, justification, and other common EDA tasks in an efficient manner that are competitive with conventional design tools. The linear algebraic model can be used to implement common EDA tasks directly upon a structural netlist thus avoiding the intermediate step of transforming a circuit description into a representation of a set of switching functions as is commonly the case when conventional Boolean techniques are used. Implementation results are provided that empirically demonstrate the practicality of the linear algebraic model.
650 0 _aEngineering.
_99405
650 0 _aElectronic circuits.
_919581
650 0 _aControl engineering.
_931970
650 0 _aRobotics.
_92393
650 0 _aAutomation.
_92392
650 0 _aComputers.
_98172
650 1 4 _aTechnology and Engineering.
_982646
650 2 4 _aElectronic Circuits and Systems.
_982647
650 2 4 _aControl, Robotics, Automation.
_931971
650 2 4 _aComputer Hardware.
_933420
710 2 _aSpringerLink (Online service)
_982650
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031798665
776 0 8 _iPrinted edition:
_z9783031798689
830 0 _aSynthesis Lectures on Digital Circuits & Systems,
_x1932-3174
_982651
856 4 0 _uhttps://doi.org/10.1007/978-3-031-79867-2
912 _aZDB-2-SXSC
942 _cEBK
999 _c85386
_d85386