RISC-V は既に Polyphony で作成済みではあるが、 再度 Verilog-HDL でつくろうとして(というより Verilisp で作る) この本を購入。