Crate spade_mir

Source

Re-exports§

pub use unit_name::UnitName;

Modules§

aliasing 🔒
assertion_codegen 🔒
codegen
diff
diff_printing
enum_util 🔒
eval
macros
passes
renaming
type_list 🔒
types
unit_name
verilator_wrapper
This module generates wrappers around verilator modules which are used with spade-cxx to feed values to and from verilated units
verilog 🔒
wal 🔒

Macros§

assert_same_code
assert_same_mir
entity
Example
if_tracing
optional_initial
optional_reset
statement
value_name
Macros for writing mir. Requires the crate to be in scope, i.e. use spade_mir;

Structs§

Binding
Entity
MirInput
ParamName
Register

Enums§

ConstantValue
Operator
Statement
ValueName
A name of a value. Can either come from the NameID of the underlying variable, or the id of the underlying expression
ValueNameSource