@article{CTT100879383,
  author = {Eiji YOSHIYA and Tomoya NAKANISHI and Tsuyoshi ISSHIKI},
  title = {Design Verification Methodology of Pipelined RISC-V Processor Using C2RTL Framework},
  journal = {IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences},
  year = 2022,
}