11ddbc43c7
writing VCD for combinatorial circuits works!
c4b5d00419
WIP adding VCD output
09aa9fbc78
wire up simulator trace writing interface
288a6b71b9
WIP adding VCD output
0095570f19
simple combinatorial simulation works!
e2653a3245
writing VCD for combinatorial circuits works!
f8b0ab45b0
WIP adding VCD output
01dafcea0f
wire up simulator trace writing interface
18ddab26ba
WIP adding VCD output
2842c2839f
simple combinatorial simulation works!
Add test module exercising formal verification.
WIP: add a simulator
Add test module exercising formal verification.
it's more idiomatic to use a match
statement here instead of a separate if let
for each enum
variant, that also ensures you've covered all enum variants. so like: