Python VCD2Wavedrom Documentation

Release

1.0.0

Date

Apr 21, 2020

TODO - Work in Progress

PyEDA is a Python library for electronic design automation.

Fork PyEDA: https://github.com/cjdrake/pyeda

Features:

  • Symbolic Boolean algebra with a selection of function representations:

    • Logic expressions

    • Truth tables, with three output states (0, 1, “don’t care”)

    • Reduced, ordered binary decision diagrams (ROBDDs)

  • SAT solvers:

  • Espresso logic minimization

  • Formal equivalence

  • Multi-dimensional bit vectors

  • DIMACS CNF/SAT parsers

  • Logic expression parser

Contents

# install.rst # boolalg.rst # bdd.rst # expr.rst # farray.rst # 2llm.rst # sudoku.rst # queens.rst # relnotes.rst # reference.rst

Indices and Tables