About this document
Lava Circuit Design and Analysis Guide by Pablo Perdomo is a document available to read on EtoBox.
This document provides a tutorial on Lava, an experimental hardware description and verification system. It covers getting started with Lava by describing simple circuits, generating VHDL code, and exercises. It then discusses describing larger circuits using recursion over lists, connection patterns, and arithmetic. The document also covers verifying circuits using simple properties, quantification, and general properties with SMV. Later sections discuss sequential circuits using delays, counters, and sequ
- Author
- Pablo Perdomo
- Language
- EN