openhwgroup/cvw-arch-verif issues and pull requests

#282 - FLI immediate coverpoint

Pull Request - State: open - Opened by coreyqh 9 days ago

#281 - Added cross coverage of fs1 and frm for single source fp instructions

Pull Request - State: closed - Opened by coreyqh 10 days ago - 2 comments

#280 - Restore fround* tests

Pull Request - State: closed - Opened by coreyqh 11 days ago

#279 - RV32/64 c.fld 100% Coverage.

Pull Request - State: closed - Opened by Mysterio-Abdullah 11 days ago

#278 - Improved coverage of c.lui & c.jal after review

Pull Request - State: closed - Opened by Zain2050 11 days ago

#277 - Removes fround* to prevent regression failure

Pull Request - State: closed - Opened by coreyqh 12 days ago

#276 - RV32/64 Zca Complete Review.

Pull Request - State: closed - Opened by Mysterio-Abdullah 12 days ago

#275 - Fixed warnings for compressed instructions

Pull Request - State: closed - Opened by Zain2050 12 days ago

#274 - Adding sv32 coverpoints and updating coverage report generation

Pull Request - State: closed - Opened by Huda-10xe 13 days ago

#273 - 100 % coverage of mulh , mulhsu , mulhu

Pull Request - State: closed - Opened by TheUnparalleledDragon 14 days ago

#272 - 100% coverage of sh rv32i and sd rv64i instruction

Pull Request - State: closed - Opened by Ehzem 15 days ago - 1 comment

#271 - Zfa* simulating with majority coverage

Pull Request - State: closed - Opened by coreyqh 15 days ago

#270 - Testplan update and added cmp_fd_fs3 coverpoint

Pull Request - State: closed - Opened by coreyqh 15 days ago - 1 comment

#269 - cp_fclass

Pull Request - State: open - Opened by ahlyssa 15 days ago - 2 comments

#268 - Minor changes to reduce error messages from make

Pull Request - State: closed - Opened by coreyqh 15 days ago

#267 - Zicsr.csv for RV32 and RV64

Pull Request - State: closed - Opened by ahlyssa 15 days ago

#266 - Zicsr.csv for RV32 and RV64

Pull Request - State: closed - Opened by ahlyssa 15 days ago - 1 comment

#265 - Exercising all CSRs now, making slow progress on ZicsrM coverpoints

Pull Request - State: closed - Opened by davidharrishmc 16 days ago

#264 - Editing privilege coverpoints

Pull Request - State: closed - Opened by Huda-10xe 17 days ago - 2 comments

#263 - Improved coverage of F, D, Zfh, ZfhD

Pull Request - State: closed - Opened by coreyqh 17 days ago

#262 - Improved ZicsrM: CSR test generation and endianness tests

Pull Request - State: closed - Opened by davidharrishmc 18 days ago

#261 - Improved coverage across D, Zfh extensions

Pull Request - State: closed - Opened by coreyqh 18 days ago

#260 - writeHazardVector refactor

Pull Request - State: closed - Opened by coreyqh 18 days ago

#259 - Auipc coverage to 100 percent

Pull Request - State: closed - Opened by Abdullah-Mujtaba 18 days ago

#258 - Need coverage for multiple of 2 integer jumps/branches in compressed test plan

Issue - State: open - Opened by davidharrishmc 20 days ago - 5 comments

#257 - ZicsrM covergroup now shows up in coverage report

Pull Request - State: closed - Opened by davidharrishmc 20 days ago

#256 - 100% coverage of c.fsw

Pull Request - State: closed - Opened by Zain2050 20 days ago - 8 comments

#255 - Fixed missing coverage of c.li,c.lwsp,c.ldsp

Pull Request - State: closed - Opened by Zain2050 21 days ago

#254 - Fixed RV64Zca sample functions to prevent get_gpr_c_reg errors

Pull Request - State: closed - Opened by davidharrishmc 21 days ago

#253 - Resolve the issue that broke regression.

Pull Request - State: closed - Opened by Mysterio-Abdullah 21 days ago

#252 - c.flw 100% Coverage.

Pull Request - State: closed - Opened by Mysterio-Abdullah 21 days ago

#251 - RV32/64 c.jalr, c.jr & c.jal at 100%

Pull Request - State: closed - Opened by Zain2050 21 days ago

#250 - 100% coverage of remw and remuw RV64M

Pull Request - State: closed - Opened by TheUnparalleledDragon 21 days ago

#249 - 10% coverage fclass in rv64 bit

Pull Request - State: closed - Opened by ahlyssa 21 days ago

#248 - D and ZfhD simulating

Pull Request - State: closed - Opened by coreyqh 21 days ago - 2 comments

#247 - Improved coverage for RV32/64 c.lui

Pull Request - State: closed - Opened by hamza-1821 22 days ago

#246 - change f2f to FI type in testplans

Pull Request - State: closed - Opened by coreyqh 23 days ago

#245 - Simulating all Zfh Instructions with majority coverage

Pull Request - State: closed - Opened by coreyqh 23 days ago

#244 - Removed pseudo-instructions; CSR coverage improvements

Pull Request - State: closed - Opened by davidharrishmc 23 days ago

#243 - added support for half precision frtype

Pull Request - State: closed - Opened by AnonymousVikram 24 days ago

#242 - updated fflags for fround*

Pull Request - State: closed - Opened by coreyqh 26 days ago

#241 - Reviewed CIW CL and CS Types of Zca.

Pull Request - State: closed - Opened by Mysterio-Abdullah 27 days ago - 2 comments

#240 - Remove Q from march

Pull Request - State: closed - Opened by jordancarlin 27 days ago

#239 - Change csr_fflags to detect rising edge, rather than just current status

Issue - State: open - Opened by AnonymousVikram 27 days ago

#238 - Fixed 0% coverage of c.jalr & c.jr

Pull Request - State: closed - Opened by Zain2050 27 days ago - 8 comments

#237 - c.swsp & c.sdsp 100% Coverage.

Pull Request - State: closed - Opened by Mysterio-Abdullah 28 days ago

#236 - 100% coverage of jal64I, jalr64I and subw64I

Pull Request - State: closed - Opened by Daniyal-R-A 28 days ago - 7 comments

#235 - full coverage of fsqrt.s

Pull Request - State: closed - Opened by coreyqh 28 days ago

#234 - 100% coverage for slliw RV64I

Pull Request - State: closed - Opened by TheUnparalleledDragon 28 days ago

#233 - Reverted PR 223

Pull Request - State: closed - Opened by hamza-1821 28 days ago

#232 - RV32/64 c.j

Pull Request - State: closed - Opened by ahmad101-sudo 28 days ago

#231 - 100% coverage of addw, srliw, addiw, sllw ,srlw, sraw - for RV64I

Pull Request - State: closed - Opened by TheUnparalleledDragon 28 days ago - 1 comment

#230 - Increased coverage for sltiu to 100%

Pull Request - State: closed - Opened by Shahjahan07 29 days ago

#229 - finished coverage on fmv

Pull Request - State: closed - Opened by AnonymousVikram 29 days ago

#228 - fixed repeat registers for cp_fs

Pull Request - State: closed - Opened by AnonymousVikram 29 days ago

#227 - RV64F testplan up to date, full coverage of FR Instrs

Pull Request - State: closed - Opened by coreyqh 29 days ago

#226 - 100% coverage of fclass (32 and 64 bit)

Pull Request - State: closed - Opened by ahlyssa 29 days ago

#225 - full coverage of fcvt*

Pull Request - State: closed - Opened by coreyqh 29 days ago

#224 - added ability to specify a (possibly unique) desired rs1/rs2 in randomize()

Pull Request - State: closed - Opened by HamzaYusufJamal 29 days ago

#223 - Revert "Added coverage for RV32/64 c.swsp and RV64 c.sdsp"

Pull Request - State: closed - Opened by davidharrishmc 29 days ago - 3 comments

#222 - 100% coverage for FR4-type instructions

Pull Request - State: closed - Opened by HamzaYusufJamal 29 days ago - 1 comment

#221 - Added coverage for RV32/64 c.swsp and RV64 c.sdsp

Pull Request - State: closed - Opened by hamza-1821 29 days ago

#220 - 100% coverage of sh rv32i instruction

Pull Request - State: closed - Opened by Ehzem 29 days ago

#219 - Coverged fcov and fcovpriv

Pull Request - State: closed - Opened by Huda-10xe 29 days ago

#218 - c.j , c.lwsp , c.ldsp

Pull Request - State: closed - Opened by ahmad101-sudo 29 days ago - 2 comments

#217 - RV32 c.j & RV32/64 c.lwsp & RV64 c.ldsp

Pull Request - State: closed - Opened by ahmad101-sudo 30 days ago - 3 comments

#216 - optimized code for catype

Pull Request - State: closed - Opened by hamza-1821 30 days ago

#215 - Simulating D extension

Pull Request - State: closed - Opened by coreyqh 30 days ago

#214 - Propagated csv changes from PRs 212-213 throughout FP testplans

Pull Request - State: closed - Opened by coreyqh 30 days ago

#213 - propagated changes to 64-bit

Pull Request - State: closed - Opened by AnonymousVikram 30 days ago

#212 - Refactoring for FR4 Instructions

Pull Request - State: closed - Opened by AnonymousVikram 30 days ago

#211 - Refactored FRM checks

Pull Request - State: closed - Opened by AnonymousVikram about 1 month ago

#210 - Wally lockstep simulation hangs when walking 1s through minstret

Issue - State: closed - Opened by davidharrishmc about 1 month ago - 1 comment

#209 - 100% Coverage of RV32I jalr instruction

Pull Request - State: closed - Opened by Daniyal-R-A about 1 month ago - 1 comment

#208 - updated testgen to make tests for different flen

Pull Request - State: closed - Opened by coreyqh about 1 month ago

#207 - Finished ZicsrM testplan except instruction tests

Pull Request - State: closed - Opened by davidharrishmc about 1 month ago

#206 - testplan bug fixes at request of VK

Pull Request - State: closed - Opened by coreyqh about 1 month ago

#205 - RV64ZcbZba Done

Pull Request - State: closed - Opened by Zain2050 about 1 month ago - 1 comment

#204 - RV64 c.subw coverage 100%

Pull Request - State: closed - Opened by hamza-1821 about 1 month ago

#203 - RV32/64 c.addi done

Pull Request - State: closed - Opened by ahmad101-sudo about 1 month ago

#202 - Initial ZicsrM privileged tests - mostly handwritten

Pull Request - State: closed - Opened by davidharrishmc about 1 month ago

#201 - Getting missing coverage of auipc, c.add, c.and, c.xor, c.sub

Pull Request - State: closed - Opened by Mysterio-Abdullah about 1 month ago - 3 comments

#200 - Comprehensive review of all fp testplans

Pull Request - State: closed - Opened by coreyqh about 1 month ago

#199 - RV32ZcbZbb and RV64ZcbZbb 100% Coverage.

Pull Request - State: closed - Opened by Mysterio-Abdullah about 1 month ago - 2 comments

#198 - Resolved some issues from PR#197

Pull Request - State: closed - Opened by Mysterio-Abdullah about 1 month ago - 1 comment

#197 - RV64/32Zcb c.zext.b Done

Pull Request - State: closed - Opened by Zain2050 about 1 month ago - 1 comment

#196 - Full coverage of fmv.x.w, fmv.x.h, flh, fsh

Pull Request - State: closed - Opened by coreyqh about 1 month ago

#195 - completed c.subw

Pull Request - State: closed - Opened by hamza-1821 about 1 month ago - 10 comments

#194 - Near full coverage of fmv.x.w using alias fmv.x.s

Pull Request - State: closed - Opened by coreyqh about 1 month ago - 2 comments

#193 - 100% for c.addw & c.addiw

Pull Request - State: closed - Opened by Zain2050 about 1 month ago

#192 - RV32ZcbM & RV64ZcbM 100% Coverage.

Pull Request - State: closed - Opened by Mysterio-Abdullah about 1 month ago

#187 - Interpretation of certain compressed instructions might be wrong

Issue - State: closed - Opened by HamzaYusufJamal about 1 month ago - 1 comment

#184 - Compressed instructions should only be in the march string in the gcc command in Makefile when trying to run compressed tests

Issue - State: closed - Opened by davidharrishmc about 1 month ago - 2 comments

#170 - Investigate `fcvt.h.*` flags

Issue - State: closed - Opened by AnonymousVikram about 1 month ago - 1 comment

#169 - Refactored fcsr.fflags

Pull Request - State: closed - Opened by AnonymousVikram about 1 month ago

#139 - Update RV32F csv for fmax and fmin

Pull Request - State: closed - Opened by AnonymousVikram about 1 month ago

#138 - 93.26% jalr covered

Pull Request - State: closed - Opened by Daniyal-R-A about 1 month ago - 1 comment

#134 - Full Coverage of 64 bit fsw and increased coverage for 64 bit fcvt.*.s

Pull Request - State: closed - Opened by coreyqh about 1 month ago

#131 - Change fflags to be encoded within 5 chars

Issue - State: closed - Opened by AnonymousVikram about 1 month ago - 2 comments

#100 - Partial coverage for fmadd.s, support for other FR4-type instructions

Pull Request - State: closed - Opened by HamzaYusufJamal about 2 months ago - 1 comment

GitHub / openhwgroup/cvw-arch-verif issues and pull requests