View in EDS PDF Full Text

Logic of Digital Circuits

Saved in:
Bibliographic Details
Title: Logic of Digital Circuits
Description: The book begins with four introductory chapters devoted to Boolean algebraic functions and Binary Decision Diagrams. The rest of the book is based on original results obtained by the author from 1994 to 2014 and reflected, in particular, in English-language conference and journal publications (ISLPD, ICCAD, ED&TC, ISQED, DATE, ACM transactions, etc.), and also in multiple publications in Russian. This manuscript is divided into two parts: Chapters One through Five discuss the theory and applications of decision diagrams, while Chapters Six through Nine concentrate on the theory and applications of logic correlations between circuit signals. Chapter Five contains the results on the BDD of a special type (SP-BDD) and their applications to analysis and optimization of digital CMOS circuits. The second part contains the results on theory and applications of logic correlations between circuit signals (logic implications). The following applications are considered: noise analysis of digital circuits (both functional and delay noise), timing analysis with detecting false paths, and digital circuit obfuscation. Chapter Nine explains the use of TDD (Ternary Decision Diagrams) in digital CMOS simulation with uncertainty—in particular, with power simulation—and both with and without accounting for logic implications. The principal audiences for the book are mathematicians and software developers, primarily working in microelectronics CAD.
Authors: Glebov, Alexei L.
Resource Type: eBook.
Subjects: Digital electronics, Binary system (Mathematics), Algebra, Boolean
Categories: TECHNOLOGY & ENGINEERING / Mechanical
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 1367367
RelevancyScore: 1070
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1070.4580078125
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1367367$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1367367$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Logic of Digital Circuits
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The book begins with four introductory chapters devoted to Boolean algebraic functions and Binary Decision Diagrams. The rest of the book is based on original results obtained by the author from 1994 to 2014 and reflected, in particular, in English-language conference and journal publications (ISLPD, ICCAD, ED&TC, ISQED, DATE, ACM transactions, etc.), and also in multiple publications in Russian. This manuscript is divided into two parts: Chapters One through Five discuss the theory and applications of decision diagrams, while Chapters Six through Nine concentrate on the theory and applications of logic correlations between circuit signals. Chapter Five contains the results on the BDD of a special type (SP-BDD) and their applications to analysis and optimization of digital CMOS circuits. The second part contains the results on theory and applications of logic correlations between circuit signals (logic implications). The following applications are considered: noise analysis of digital circuits (both functional and delay noise), timing analysis with detecting false paths, and digital circuit obfuscation. Chapter Nine explains the use of TDD (Ternary Decision Diagrams) in digital CMOS simulation with uncertainty—in particular, with power simulation—and both with and without accounting for logic implications. The principal audiences for the book are mathematicians and software developers, primarily working in microelectronics CAD.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Glebov%2C+Alexei+L%2E%22">Glebov, Alexei L.</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Digital+electronics%22">Digital electronics</searchLink><br /><searchLink fieldCode="DE" term="%22Binary+system+%28Mathematics%29%22">Binary system (Mathematics)</searchLink><br /><searchLink fieldCode="DE" term="%22Algebra%2C+Boolean%22">Algebra, Boolean</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Mechanical%22">TECHNOLOGY & ENGINEERING / Mechanical</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=1367367
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 621.395
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Digital electronics
        Type: general
      – SubjectFull: Binary system (Mathematics)
        Type: general
      – SubjectFull: Algebra, Boolean
        Type: general
    Titles:
      – TitleFull: Logic of Digital Circuits
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Glebov, Alexei L.
      – PersonEntity:
          Name:
            NameFull: Glebov, Alexei L.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2016
            – D: 11
              M: 10
              Type: profile
              Y: 2016
          Identifiers:
            – Type: isbn-print
              Value: 9781634842488
            – Type: isbn-electronic
              Value: 9781634852395
          Titles:
            – TitleFull: Logic of Digital Circuits
              Type: main
ResultId 1