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

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=207

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkcl at lkcl.net

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
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.

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