Vengineerの妄想(準備期間)

人生は短いけど、長いです。人生を楽しみましょう!

ClashのRISC-V


CLaSHという言語で記述されたRISC-V : RISCV-CLaSH

で、CLaSHとは、こちら
Haskellベースの言語の模様。Githubで公開中。

引用
 CλaSH (pronounced ‘clash’) is a functional hardware description language 
 that borrows both its syntax and semantics 
 from the functional programming language Haskell. 
 The CλaSH compiler transforms these high-level descriptions 
 to low-level synthesizable VHDL, Verilog, or SystemVerilog.

Features of CλaSH:

  Strongly typed (like VHDL), yet with a very high degree of type inference, 
  enabling both safe and fast prototying using consise descriptions (like Verilog).

  Interactive REPL: load your designs in an interpreter and easily test 
                    all your component without needing to setup a test bench.

  Higher-order functions, with type inference, 
  result in designs that are fully parametric by default.

  Synchronous sequential circuit design based on streams of values, 
  called Signals, lead to natural descriptions of feedback loops.

  Support for multiple clock domains, with type safe clock domain crossing.