GRASP: A Search Algorithm for Propositional Satisfiability
IEEE Transactions on Computers
Exploring and exploiting wire-level pipelining in emerging technologies
ISCA '01 Proceedings of the 28th annual international symposium on Computer architecture
A Model-Based Diagnosis System for Identifying Faulty Components in Digital Circuits
Applied Intelligence
Bisimulation, the Supervisory Control Problem and StrongModel Matching for Finite State Machines
Discrete Event Dynamic Systems
On the properties of the input pattern fault model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specification of synchronous sequential circuits using SDL and ObjectGEODE
Computer Standards & Interfaces
Man-Machine Voice Interface Using a Commercially Available Neural Chip
IWANN '01 Proceedings of the 6th International Work-Conference on Artificial and Natural Neural Networks: Bio-inspired Applications of Connectionism-Part II
Relevance of computer hardware topics in computer science curriculum
Journal of Computing Sciences in Colleges
Generalized Sensitization using Fault Tuples
VTS '04 Proceedings of the 22nd IEEE VLSI Test Symposium
IEEE Transactions on Computers
Computer engineering curriculum at Oakland University
WCAE-2 '96 Proceedings of the 1996 workshop on Computer architecture education
On probabilistic inference by weighted model counting
Artificial Intelligence
A novel Boolean algebraic framework for association and pattern mining
WSEAS Transactions on Computers
A Boolean algebraic framework for association and pattern mining
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
A fast computerized method for automatic simplification of boolean functions
ISTASC'09 Proceedings of the 9th WSEAS International Conference on Systems Theory and Scientific Computation
Intelligent Support for Inquiry Learning from Images: A Learning Scenario and Tool
Proceedings of the 2009 conference on Artificial Intelligence in Education: Building Learning Systems that Care: From Knowledge Representation to Affective Modelling
PN code acquisition using Boolean satisfiability techniques
WCNC'09 Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference
A new technique for realization of Boolean functions
AIKED'10 Proceedings of the 9th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Encoding CNFs to empower component analysis
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Control of systems integrating logic, dynamics, and constraints
Automatica (Journal of IFAC)
Hi-index | 0.01 |
From the Publisher:John P. Hayes, a well-known authority in the area of computer engineering, now brings his expertise to digital logic design. Intended as a mainstream introduction for the first course, Introduction to Digital Logic Design provides a presentation which is both scholarly and highly supportive of student learning. In addition, it presents the traditional core topics including sequential and combinational design and register level logic. This is the first introductory text that provides balanced coverage of concepts, techniques and practice. Also, the text includes excellent coverage of the most modern topics and technologies -- programmable logic devices (PLD's), the testability, and computer aided design (CAD). This text has an attractive, practical design that highlights a number of features that support student learning.