RISC-V formal spec public review

Article URL: https://github.com/riscv/ISA_Formal_Spec_Public_Review/blob/master/README.md#when-and-how-to-provide-feedback-and-what-happens-next

Comments URL: https://news.ycombinator.com/item?id=20238322

Points: 3

# Comments: 0

from Hacker News: Front Page http://bit.ly/2Y1ZYdQ
via