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

Samuel Falvo II sam.falvo at gmail.com
Wed Mar 4 02:35:52 GMT 2020


I can see the benefit that algebraic types can offer; however, it's not
clear to me how Rust's borrow-checker would be a benefit for synthesis, or
logic design at all for that matter.  Have you run into a situation in the
past where the borrow checker would have proven advantageous to have around?

On Tue, Mar 3, 2020 at 4:12 PM <bugzilla-daemon at libre-riscv.org> wrote:

> http://bugs.libre-riscv.org/show_bug.cgi?id=207
>
> --- 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.
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
>


-- 
Samuel A. Falvo II


More information about the libre-riscv-dev mailing list