A Methodology to Verify Functionality, Security, and Trust for RISC-V Cores Author(s): W. W. Chen, N. Tusinschi, and T. L. Anderson Download