Bluewhale
What if you could model logic in Rust, using Rust's support for asynchronous execution? That is what the Bluewhale project is attempting to find out. It tries to build a framework for signal propagation, and implement primitives, which can then be used to build and simulate digital designs.
One of the questions that this project is trying to solve is that of speed: how good is the performance of a logic simulation written in Rust using the async ecosystem?
Some interesting possibilities that the async ecosystem enables is, for example, to be able to split the computational workload between multiple CPU cores. However, due to the communication overhead, this might not necessarily result in faster execution. Project Bluewhale could be used to get some data on this.