[an error occurred while processing this directive]
[an error occurred while processing this directive]

# Abstract State Machines

#### Subjects

#### Methodology

- Books
- Discussions
- Historical Surveys & Bibliographies
- Introductory Materials
- Refinement

#### Applications

- Abstract Algorithms
- Architectures (hardware and software)
- Benchmark Examples
- Compiler Correctness
- Databases
- Distributed Systems
- Hardware
- Industrial Reports
- Interpreters & Tools (papers only)
- Java
- Logic & Computability
- Mechanical Verification
- Models of Computation (other)
- Montages
- Natural Languages
- Programming Languages
- Protocols
- Real-Time Systems
- Security
- Software Engineering
- UML
- Verification
- VHDL
- WAM/Logic Programming
- Miscellany

#### ASM Studies

- ASM Explorations
- ASM Extensions

# VHDL

(see also Programming Languages or Hardware)

## Table of Contents

- VHDL'93
  - Full Version
  - Early Version
- VHDL-AMS
  - Extension: Dynamic Equation Scheduling
  - VHDL-AMS and Attribute Grammars
- VHDL and Verilog
  - Extension: Net Delay

[an error occurred while processing this directive]