From cf658a074f67b566fdd1038c7cf4658a44ce08f6 Mon Sep 17 00:00:00 2001 From: Pascal Gouedo Date: Mon, 3 Jun 2024 17:03:37 +0200 Subject: [PATCH] Table rendering Signed-off-by: Pascal Gouedo --- scripts/riscv_isa_formal/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/riscv_isa_formal/README.md b/scripts/riscv_isa_formal/README.md index b9cc77557..5fa41a7aa 100755 --- a/scripts/riscv_isa_formal/README.md +++ b/scripts/riscv_isa_formal/README.md @@ -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 |