Table update for markdown rendering

Signed-off-by: Pascal Gouedo <[email protected]>

scripts/riscv_isa_formal/README.md

@@ -4,23 +4,14 @@ RISC-V ISA Formal Verification methodology has been used with Siemens EDA Onespi
 
 ## Configurations
 
-  +--------------------+-----------------------------------------------------------------------------+
-  |                    | **Verified Configurations**                                                 |
-  +====================+========+==========+==========+==========+===========+===========+===========+
   | **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         |
-  +--------------------+--------+----------+----------+----------+-----------+-----------+-----------+
   | ZFINX              | 0      | 0        | 0        | 0        | 1         | 1         | 1         |
-  +--------------------+--------+----------+----------+----------+-----------+-----------+-----------+
   | FPU_ADDMUL_LAT     | 0      | 0        | 1        | 2        | 0         | 1         | 2         |
-  +--------------------+--------+----------+----------+----------+-----------+-----------+-----------+
   | FPU_OTHERS_LAT     | 0      | 0        | 1        | 2        | 0         | 1         | 2         |
-  +--------------------+--------+----------+----------+----------+-----------+-----------+-----------+
 
 ## Tool apps