Merge pull request #18 from ved-rivos/server_soc_ts

Initial checkin of test specification

Makefile

@@ -21,6 +21,9 @@ riscvintl/riscv-docs-base-container-image:latest
 HEADER_SOURCE := server_soc_header.adoc
 PDF_RESULT := riscv-server-soc.pdf
 
+TS_HEADER_SOURCE := server_soc_ts_header.adoc
+TS_PDF_RESULT := riscv-server-soc-ts.pdf
+
 ASCIIDOCTOR_PDF := asciidoctor-pdf
 OPTIONS := --trace \
            -a compress \
@@ -52,14 +55,17 @@ build:
 build-container:
 	@echo "Starting build inside Docker container..."
 	$(DOCKER_RUN) /bin/sh -c "$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$(PDF_RESULT) $(HEADER_SOURCE)"
+	$(DOCKER_RUN) /bin/sh -c "$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$(TS_PDF_RESULT) $(TS_HEADER_SOURCE)"
 	@echo "Build completed successfully inside Docker container."
 
 build-no-container:
 	@echo "Starting build..."
 	$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$(PDF_RESULT) $(HEADER_SOURCE)
+	$(ASCIIDOCTOR_PDF) $(OPTIONS) $(REQUIRES) --out-file=$(TS_PDF_RESULT) $(TS_HEADER_SOURCE)
 	@echo "Build completed successfully."
 
 clean:
 	@echo "Cleaning up generated files..."
 	rm -f $(PDF_RESULT)
+	rm -f $(TS_PDF_RESULT)
 	@echo "Cleanup completed."

server_soc_requirements.adoc

@@ -226,10 +226,6 @@ deliver external interrupts to the RISC-V application processor harts.
 
 | IOM_100  | IOMMU governing PCIe root ports SHOULD support the T2GPA mode of
              operation with ATS if ATS is supported.
-
-| IOM_110  | IOMMU governing RCiEP MUST support PCIe address translation
-             services (ATS) if any of the RCiEPs governed by the IOMMU support
-             the ATS capability.
 2+| _The T2GPA control enables a hypervisor to prevent DMA from a device, even
      if the device misuses the ATS capability and attempts to access memory that
      is not explicitly authorized by the page tables governing that device's
@@ -245,6 +241,10 @@ deliver external interrupts to the RISC-V application processor harts.
      be integrity-protected using PCIe integrity and data encryption (IDE) to
      defend against a man-in-the-middle adversary._
 
+| IOM_110  | IOMMU governing RCiEP MUST support PCIe address translation
+             services (ATS) if any of the RCiEPs governed by the IOMMU support
+             the ATS capability.
+
 | IOM_120  | IOMMU governing RCiEP MAY support the T2GPA mode of operation with
              ATS if ATS is supported.
 2+| _The threats associated with misuse of ATS or malicious insertion of ATS
@@ -1317,9 +1317,7 @@ data centers and enterprises.
     _Enforcing a complete and precise set of permissions on abstract and program
      buffer memory accesses mitigates security concerns._
 
-| DBG_030  | The SoC SHOULD support an NS16550-compatible UART to support an
-             early OS boot console if graphics hardware is not present or not
-             made available to an OS loader.
+| DBG_030  | The SoC SHOULD support an UART for use as early OS boot console.
 
 |===