Skip to content

Commit

Permalink
Table rendering
Browse files Browse the repository at this point in the history
Signed-off-by: Pascal Gouedo <[email protected]>
  • Loading branch information
Pascal Gouedo committed Jun 3, 2024
1 parent 1dbddd8 commit cf658a0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions scripts/riscv_isa_formal/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ RISC-V ISA Formal Verification methodology has been used with Siemens EDA Onespi

## Configurations

| **Top Parameters** | **XP** | **XPF0** | **XPF1** | **XPF2** | **XPZF0** | **XPZF1** | **XPZF2** |
|--------------------|-----------------------------------------------------------------------------|
| Top Parameters | XP | XPF0 | XPF1 | XPF2 | XPZF0 | XPZF1 | XPZF2 |
| :----------------- | :----: |:-------: | :------: | :------: | :-------: | :-------: | :-------: |
| COREV_PULP | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| COREV_CLUSTER | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| FPU | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
Expand Down

0 comments on commit cf658a0

Please sign in to comment.