Crate libreda_logic
source ·Expand description
This crate contains the core functionality for dealing with logic functions in the LibrEDA framework.
§References
Some unordered list of literature:
- “Logic Design and Switching Theory” https://archive.org/details/logicdesignswitc00muro
Modules§
- Adaptors for Boolean functions.
- Algorithms for logic networks.
- Trait for logic values and implementations thereof.
- Implement the
BooleanSystem
trait for native Rust functions. - Abstraction of logic networks.
- Simulate logic networks.
- Logic networks.
- Abstractions for different representations of boolean formulas. Defines how different types of boolean functions/formulas can be accessed and manipulated.
- Traits and implementations of truth-tables.