"Eiji YOSHIYA,Tomoya NAKANISHI,Tsuyoshi ISSHIKI","Design Verification Methodology of Pipelined RISC-V Processor Using C2RTL Framework",,"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",,"Vol. E105.A","No. 7","  1061-1069",2022,July