HENDERSON, Nev.–(BUSINESS WIRE)–Aldec, Inc., a pioneer in mixed-HDL language simulation and hardware-assisted verification for FPGA and ASIC designs, today announced that Cobham Gaisler has successfully verified its first RISC-V line of processors, called NOEL-V™, using Riviera-PRO™ for mixed-HDL simulation.
article: https://www.businesswire.com/news/home/20200128005138/en/Cobham-Gaisler-Successfully-Verifies-RISC-V-Processor-NOEL-V