Filter by
Finite State Machines in Hardware: Theory and Design (with VHDL and SystemVer…
Modern, complex digital systems invariably include hardware-implemented finite state machines. The correct design of such parts is crucial for attaining proper system performance. This book offers detailed, comprehensive coverage of the theory and design for any category of hardware-implemented finite state machines. It describes crucial design problems that lead to incorrect or far from optima…
- Edition
- -
- ISBN/ISSN
- 9780262319096
- Collation
- 1 online resource (x, 337 pages) :illustrations
- Series Title
- -
- Call Number
- -
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Cir…
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relat…
- Edition
- -
- ISBN/ISSN
- 9780262256025
- Collation
- 1 online resource (163 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography