Trace Theory and VLSI Design

Description

Trace theory.- A program notation.- Finite state machines.- VLSI design.- An implementation strategy.- On what we have rejected.- Epilogue.

ComputersComputer ArchitectureInformation TechnologyLogic DesignTechnology & EngineeringElectricalElectronicsMicroelectronics

1985Book

Author(s)Jan L.A. van de Snepscheut

PublisherSpringer Science & Business Media

ISBN9783540159889

LanguageEnglish

Combinatorics on Traces

VLSI Algorithms and Architectures Aegean Workshop on Computing, Loutraki, Greece, July 8-11, 1986. Proceedings

Book

VLSI Specification, Verification and Synthesis (The Springer International Series in Engineering and Computer Science)

Asynchronous Circuits

A Formal Approach to Hardware Design

Trace-Based Post-Silicon Validation for VLSI Circuits

VLSI Chip Design with the Hardware Description Language VERILOG: An Introduction Based on a Large RISC Processor Design

Algorithms and Data Structures in VLSI Design OBDD - Foundations and Applications

Introduction to VLSI Process Engineering

Verifying Concurrent Processes Using Temporal Logic