[libre-riscv-dev] [Bug 207] Design Rust-based HDL like nmigen (deferred for later)

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Wed Mar 4 00:11:58 GMT 2020


--- Comment #3 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #2)
> if there was ever a compelling reason to do this it would be if there was,
> like BSV, a 100% guarantee that syntactically-correct HDL was
> synthesiseable.  this however is only the case in BSV because it utilises
> the formal proof / functional programming aspects of Haskell.

Rust does support type and lifetime-based formal proofs, which is one of the
reasons I really like it.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list