865 Improve ISA Explorer extension dependency columns - Implied By changed to Implies (#866)

Made changes with Derek's help


![image](https://github.com/user-attachments/assets/1154a002-eeae-48ac-83fe-e8eb1384aefb)

Author: james-ball-qualcomm

backends/isa_explorer/isa_explorer.rb

@@ -43,9 +43,9 @@ def arch2ext_table(arch)
       },
       {name: "Description", formatter: "textarea", sorter: "alphanum", headerFilter: true},
       {name: "IC", formatter: "textarea", sorter: "alphanum", headerFilter: true},
-      {name: "Implied By", formatter: "textarea", sorter: "alphanum"},
-      {name: "Requires", formatter: "textarea", sorter: "alphanum"},
-      {name: "Incompatible", formatter: "textarea", sorter: "alphanum"},
+      {name: "Implies\n(Exts)", formatter: "textarea", sorter: "alphanum"},
+      {name: "Requires\n(Ext Reqs)", formatter: "textarea", sorter: "alphanum"},
+      {name: "Incompatible\n(Ext Reqs)", formatter: "textarea", sorter: "alphanum"},
       {name: "Ratified", formatter: "textarea", sorter: "boolean", headerFilter: true},
       {name: "Ratification\nDate", formatter: "textarea", sorter: "alphanum", headerFilter: true},
       sorted_profile_releases.map do |pr|
@@ -62,7 +62,7 @@ def arch2ext_table(arch)
       ext.name,           # Name
       ext.long_name,      # Description
       ext.compact_priv_type,  # IC
-      ext.max_version.implied_by.map(&:name),  # Implied By
+      ext.max_version.implications.map{|cond_ext_ver| cond_ext_ver.ext_ver.name}.uniq,  # Implies
       ext.max_version.requirement_condition.empty? ? "" : ext.max_version.requirement_condition.to_logic_tree.to_s, # Requires
       ext.conflicts_condition.empty? ? "" : ext.conflicts_condition.to_logic_tree.to_s, # Incompatible
       ext.ratified,

spec/std/isa/ext/F.yaml

@@ -14,6 +14,7 @@ versions:
     ratification_date: 2019-12
     changes:
       - Define NaN-boxing scheme, changed definition of FMAX and FMIN
+    requires: Zicsr
 description: |
   This chapter describes the standard instruction-set extension for
   single-precision floating-point, which is named "F" and adds