Trace Theory and VLSI Design | EKB DL

Home BookTrace Theory and VLSI Design

Trace Theory and VLSI Design

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.

Keywords

ComputersComputer ArchitectureInformation TechnologyLogic DesignTechnology & EngineeringElectricalElectronicsMicroelectronics

1985Book

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

PublisherSpringer Science & Business Media

ISBN9783540159889

LanguageEnglish

Similar Books

Semantics of Digital Circuits (Lecture Notes in Computer Science, 285)

Semantics of Digital Circuits (Lecture Notes in Computer Science, 285)

Anatomy of a Silicon Compiler

Anatomy of a Silicon Compiler

Coroutines A Programming Methodology, a Language Design and an Implementation

Coroutines A Programming Methodology, a Language Design and an Implementation

Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

A Formal Approach to Hardware Design

A Formal Approach to Hardware Design

Asynchronous Circuits

Asynchronous Circuits

VLSI Engineering: Beyond Software Engineering (Lecture Notes in Computer Science, 163)

VLSI Engineering: Beyond Software Engineering (Lecture Notes in Computer Science, 163)

Current Trends in Concurrency Overviews and Tutorials

Current Trends in Concurrency Overviews and Tutorials

Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Synthesizing Synchronous Systems by Static Scheduling in Space-Time

Automatic Verification of Sequential Infinite-State Processes

Automatic Verification of Sequential Infinite-State Processes