A completely updated and expanded comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits.

This comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits has been completely updated and expanded for the third edition. New features include all VHDL-2008 constructs, an extensive review of digital circuits, RTL analysis, and an unequaled collection of VHDL examples and exerci...

An introduction to the modeling of business information systems, with processes formally modeled using Petri nets. This comprehensive introduction to modeling business-information systems focuses on business processes. It describes and demonstrates the formal modeling of processes in terms of Petri nets, using a well-established theory for capturing and analyzing models with concurrency. The precise semantics of this formal method offers a distinct advantage for modeling processes over the in...

This new edition made the textbook the first discrete mathematics textbook to be revised in order to meet the proposed new ACM/IEEE standards of the course. It features new material, including new sections on probability, coding theory, matrices and order of magnitude.