<?xml version="1.0" encoding="UTF-8"?>
<spirit:component xmlns:spirit="http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.1" xmlns:actel-cc="http://www.actel.com/XMLSchema/CoreConsole" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.1 http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.1/component.xsd">
   <spirit:vendor>Actel</spirit:vendor>
   <spirit:library>DirectCore</spirit:library>
   <spirit:name>CORE8051S</spirit:name>
   <spirit:version>2.2.100</spirit:version>
   <spirit:busInterfaces>
      <!-- APB master interface -->
      <spirit:busInterface>
         <spirit:name>APB3master</spirit:name>
         <spirit:busType spirit:vendor="AMBA" spirit:library="AMBA2" spirit:name="APB" spirit:version="r3p0"/>
         <spirit:master/>
         <spirit:signalMap>
            <spirit:signalName>
               <spirit:componentSignalName>PADDR</spirit:componentSignalName>
               <spirit:busSignalName>PADDR</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PWRITE</spirit:componentSignalName>
               <spirit:busSignalName>PWRITE</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PENABLE</spirit:componentSignalName>
               <spirit:busSignalName>PENABLE</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PWDATA</spirit:componentSignalName>
               <spirit:busSignalName>PWDATA</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PRDATA</spirit:componentSignalName>
               <spirit:busSignalName>PRDATA</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PSEL</spirit:componentSignalName>
               <spirit:busSignalName>PSEL</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PREADY</spirit:componentSignalName>
               <spirit:busSignalName>PREADY</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>PSLVERR</spirit:componentSignalName>
               <spirit:busSignalName>PSLVERR</spirit:busSignalName>
            </spirit:signalName>
         </spirit:signalMap>
         <spirit:vendorExtensions>
            <actel-cc:interfaceRendering>busConnection</actel-cc:interfaceRendering>
         </spirit:vendorExtensions>
      </spirit:busInterface>
      <!-- External memory interface -->
      <spirit:busInterface>
         <spirit:name>ExternalMemIf</spirit:name>
         <spirit:busType spirit:vendor="Actel" spirit:library="System" spirit:name="Core8051sExternalMemIf" spirit:version="1.0"/>
         <spirit:master/>
         <spirit:signalMap>
            <spirit:signalName>
               <spirit:componentSignalName>MEMPSACKI</spirit:componentSignalName>
               <spirit:busSignalName>MEMPSACKI</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMACKI</spirit:componentSignalName>
               <spirit:busSignalName>MEMACKI</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMDATAI</spirit:componentSignalName>
               <spirit:busSignalName>MEMDATAI</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMDATAO</spirit:componentSignalName>
               <spirit:busSignalName>MEMDATAO</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMADDR</spirit:componentSignalName>
               <spirit:busSignalName>MEMADDR</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMPSRD</spirit:componentSignalName>
               <spirit:busSignalName>MEMPSRD</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMWR</spirit:componentSignalName>
               <spirit:busSignalName>MEMWR</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMRD</spirit:componentSignalName>
               <spirit:busSignalName>MEMRD</spirit:busSignalName>
            </spirit:signalName>
         </spirit:signalMap>
         <spirit:vendorExtensions>
            <actel-cc:interfaceRendering>groupedSignals</actel-cc:interfaceRendering>
         </spirit:vendorExtensions>
      </spirit:busInterface>
      <spirit:busInterface>
         <spirit:name>DebugIf</spirit:name>
         <spirit:busType spirit:vendor="Actel" spirit:library="System" spirit:name="Core8051sDebugIf" spirit:version="1.0"/>
         <spirit:slave/>
         <spirit:signalMap>
            <spirit:signalName>
               <spirit:componentSignalName>TCK</spirit:componentSignalName>
               <spirit:busSignalName>TCK</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>TMS</spirit:componentSignalName>
               <spirit:busSignalName>TMS</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>TDI</spirit:componentSignalName>
               <spirit:busSignalName>TDI</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>TDO</spirit:componentSignalName>
               <spirit:busSignalName>TDO</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>TRSTN</spirit:componentSignalName>
               <spirit:busSignalName>TRSTN</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>MEMBANK</spirit:componentSignalName>
               <spirit:busSignalName>MEMBANK</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>BREAKIN</spirit:componentSignalName>
               <spirit:busSignalName>BREAKIN</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>BREAKOUT</spirit:componentSignalName>
               <spirit:busSignalName>BREAKOUT</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>TRIGOUT</spirit:componentSignalName>
               <spirit:busSignalName>TRIGOUT</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>AUXOUT</spirit:componentSignalName>
               <spirit:busSignalName>AUXOUT</spirit:busSignalName>
            </spirit:signalName>
            <spirit:signalName>
               <spirit:componentSignalName>DBGMEMPSWR</spirit:componentSignalName>
               <spirit:busSignalName>DBGMEMPSWR</spirit:busSignalName>
            </spirit:signalName>
         </spirit:signalMap>
         <spirit:vendorExtensions>
            <actel-cc:interfaceRendering>groupedSignals</actel-cc:interfaceRendering>
         </spirit:vendorExtensions>
      </spirit:busInterface>
   </spirit:busInterfaces>
   <spirit:addressSpaces>
      <spirit:addressSpace>
         <spirit:name>APBAddressSpace</spirit:name>
         <spirit:range>4K</spirit:range>
      </spirit:addressSpace>
   </spirit:addressSpaces>
   <spirit:hwModel>
      <spirit:views>
         <spirit:view>
            <spirit:name>VerilogSource</spirit:name>
            <spirit:envIdentifier>Modelsim</spirit:envIdentifier>
            <spirit:language>Verilog</spirit:language>
            <spirit:fileSetRef>fs-VerilogSource-Base-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-Base-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VerilogSource-APA-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVerilogSource-APA</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-APA-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-APA-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VerilogSource-A3P-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVerilogSource-A3P</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-A3P-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-A3P-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VerilogSource-A3PE-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVerilogSource-A3PE</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-A3PE-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-A3PE-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VerilogSource-Fusion-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVerilogSource-Fusion</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-Fusion-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-Fusion-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogSource-Unlicensed</spirit:fileSetRef>
            <spirit:vendorExtensions>
               <actel-cc:fsInclusionRules>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-Base-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-Base-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VerilogSource-APA-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVerilogSource-APA">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-APA-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-APA-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VerilogSource-A3P-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVerilogSource-A3P">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-A3P-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-A3P-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VerilogSource-A3PE-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVerilogSource-A3PE">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-A3PE-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-A3PE-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VerilogSource-Fusion-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVerilogSource-Fusion">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-Fusion-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-Fusion-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogSource-Unlicensed">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
               </actel-cc:fsInclusionRules>
            </spirit:vendorExtensions>
         </spirit:view>
         <spirit:view>
            <spirit:name>VHDLSource</spirit:name>
            <spirit:envIdentifier>Modelsim</spirit:envIdentifier>
            <spirit:language>vhdl</spirit:language>
            <spirit:fileSetRef>fs-VHDLSource-Base-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-Base-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VHDLSource-APA-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVHDLSource-APA</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-APA-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-APA-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VHDLSource-A3P-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVHDLSource-A3P</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-A3P-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-A3P-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VHDLSource-A3PE-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVHDLSource-A3PE</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-A3PE-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-A3PE-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-VHDLSource-Fusion-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Top-OVHDLSource-Fusion</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-Fusion-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-Fusion-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLSource-Base-Unlicensed</spirit:fileSetRef>
            <spirit:vendorExtensions>
               <actel-cc:fsInclusionRules>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-Base-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-Base-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VHDLSource-APA-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVHDLSource-APA">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-APA-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-APA-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VHDLSource-A3P-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVHDLSource-A3P">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-A3P-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-A3P-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VHDLSource-A3PE-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVHDLSource-A3PE">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-A3PE-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-A3PE-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-VHDLSource-Fusion-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Top-OVHDLSource-Fusion">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                              <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-Fusion-U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-Fusion-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLSource-Base-Unlicensed">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
               </actel-cc:fsInclusionRules>
            </spirit:vendorExtensions>
         </spirit:view>
         <spirit:view>
           <spirit:name>Documentation</spirit:name>
           <spirit:envIdentifier>CoreConsole</spirit:envIdentifier>
           <spirit:fileSetRef>fs-Docs_ALL</spirit:fileSetRef>
         </spirit:view>
         <spirit:view>
            <spirit:name>VerilogSimulation</spirit:name>
            <spirit:envIdentifier>Modelsim</spirit:envIdentifier>
            <spirit:language>Verilog</spirit:language>
            <spirit:fileSetRef>ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Licensed_ANY_SIMULATION_FILESET-O</spirit:fileSetRef>
            <spirit:fileSetRef>VERILOG_ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Verification-Scripts_ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Verification-Tests-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_STIMULUS_FILESET-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_STIMULUS_FILESET-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVerilog_APA_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVerilog_A3P_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVerilog_A3PE_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVerilog_Fusion_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:vendorExtensions>
               <actel-cc:fsInclusionRules>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Licensed_ANY_SIMULATION_FILESET-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicOrTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicOrTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_STIMULUS_FILESET-O">
                     <actel-cc:logicEquation>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_STIMULUS_FILESET-U">
                     <actel-cc:logicEquation>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVerilog_APA_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVerilog_A3P_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVerilog_A3PE_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVerilog_Fusion_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
               </actel-cc:fsInclusionRules>
            </spirit:vendorExtensions>
         </spirit:view>
         <spirit:view>
            <spirit:name>VHDLSimulation</spirit:name>
            <spirit:envIdentifier>Modelsim</spirit:envIdentifier>
            <spirit:language>vhdl</spirit:language>
            <spirit:fileSetRef>ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Licensed_ANY_SIMULATION_FILESET-O</spirit:fileSetRef>
            <spirit:fileSetRef>VHDL_ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Verification-Scripts_ANY_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-Verification-Tests-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_STIMULUS_FILESET-O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_STIMULUS_FILESET-U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVHDL_APA_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVHDL_A3P_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVHDL_A3PE_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_U</spirit:fileSetRef>
            <spirit:fileSetRef>fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_O</spirit:fileSetRef>
            <spirit:fileSetRef>fs-UnlicensedVHDL_Fusion_SIMULATION_FILESET</spirit:fileSetRef>
            <spirit:vendorExtensions>
               <actel-cc:fsInclusionRules>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-Licensed_ANY_SIMULATION_FILESET-O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicOrTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                        </actel-cc:logicOrTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_STIMULUS_FILESET-O">
                     <actel-cc:logicEquation>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_STIMULUS_FILESET-U">
                     <actel-cc:logicEquation>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVHDL_APA_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="14"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVHDL_A3P_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="15"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVHDL_A3PE_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="16"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_U">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_O">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
                  <actel-cc:fsInclusionRule spirit:fileSetRef="fs-UnlicensedVHDL_Fusion_SIMULATION_FILESET">
                     <actel-cc:logicEquation>
                        <actel-cc:logicAndTerms>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="O"/>
                           <actel-cc:logicTerm spirit:referenceId="HDL_license" actel-cc:operation="notEqual" actel-cc:termValue="U"/>
                           <actel-cc:logicTerm spirit:referenceId="FAMILY" actel-cc:termValue="17"/>
                        </actel-cc:logicAndTerms>
                     </actel-cc:logicEquation>
                  </actel-cc:fsInclusionRule>
               </actel-cc:fsInclusionRules>
            </spirit:vendorExtensions>
         </spirit:view>
      </spirit:views>
      <spirit:signals>
         <!-- System signals -->
         <spirit:signal>
            <spirit:name>CLK</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:vendorExtensions>
               <actel-cc:requiredConnection/>
            </spirit:vendorExtensions>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>NSYSRESET</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:vendorExtensions>
               <actel-cc:requiredConnection/>
            </spirit:vendorExtensions>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PRESETN</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>WDOGRES</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>0</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>WDOGRESN</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>INT0</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>0</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>INT1</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>0</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MOVX</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <!-- APB master interface -->
         <spirit:signal>
            <spirit:name>PADDR</spirit:name>
            <spirit:direction>out</spirit:direction>
            <spirit:left>11</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PWRITE</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PENABLE</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PWDATA</spirit:name>
            <spirit:direction>out</spirit:direction>
            <spirit:left spirit:resolve="dependent" spirit:dependency="id('APB_DWIDTH')-1">15</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PRDATA</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:left spirit:resolve="dependent" spirit:dependency="id('APB_DWIDTH')-1">15</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PSEL</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PREADY</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>1</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>PSLVERR</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>0</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <!-- External memory interface -->
         <spirit:signal>
            <spirit:name>MEMPSACKI</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>1</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMACKI</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>1</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMDATAI</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:left>7</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMDATAO</spirit:name>
            <spirit:direction>out</spirit:direction>
            <spirit:left>7</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMADDR</spirit:name>
            <spirit:direction>out</spirit:direction>
            <spirit:left>15</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMPSRD</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMWR</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMRD</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <!-- Debug interface -->
         <spirit:signal>
            <spirit:name>TCK</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>1</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>TMS</spirit:name>
            <spirit:direction>in</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>TDI</spirit:name>
            <spirit:direction>in</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>TDO</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>TRSTN</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:defaultValue>
               <spirit:value>1</spirit:value>
            </spirit:defaultValue>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>BREAKIN</spirit:name>
            <spirit:direction>in</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>BREAKOUT</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>MEMBANK</spirit:name>
            <spirit:direction>in</spirit:direction>
            <spirit:left>3</spirit:left>
            <spirit:right>0</spirit:right>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>DBGMEMPSWR</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>TRIGOUT</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
         <spirit:signal>
            <spirit:name>AUXOUT</spirit:name>
            <spirit:direction>out</spirit:direction>
         </spirit:signal>
      </spirit:signals>
      <spirit:hwParameters>
         <spirit:hwParameter spirit:choiceRef="USE_OCIChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="USE_OCI" spirit:name="USE_OCI" spirit:prompt="Include Debug block:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="INCL_TRACEChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="INCL_TRACE" spirit:name="INCL_TRACE" spirit:prompt="Include trace RAM:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="TRIG_NUMChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="TRIG_NUM" spirit:name="TRIG_NUM" spirit:prompt="Number of hardware triggers/breakpoints:" spirit:resolve="user">4</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="APB_DWIDTHChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="APB_DWIDTH" spirit:name="APB_DWIDTH" spirit:prompt="APB data width:" spirit:resolve="user">16</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="INCL_DPTR1Choice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="INCL_DPTR1" spirit:name="INCL_DPTR1" spirit:prompt="Include second data pointer:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="INCL_MUL_DIV_DAChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="INCL_MUL_DIV_DA" spirit:name="INCL_MUL_DIV_DA" spirit:prompt="Include MUL, DIV and DA instructions:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="VARIABLE_WAITChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="VARIABLE_WAIT" spirit:name="VARIABLE_WAIT" spirit:prompt="MEMPSACKI-controlled Program Memory:" spirit:resolve="user">1</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="WAIT_VALChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="WAIT_VAL" spirit:name="WAIT_VAL" spirit:prompt="Program Memory Wait Cycles:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="VARIABLE_STRETCHChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="VARIABLE_STRETCH" spirit:name="VARIABLE_STRETCH" spirit:prompt="MEMACKI-controlled External Data Memory:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="STRETCH_VALChoice" spirit:choiceStyle="radio" spirit:configGroups="requiredConfig" spirit:dataType="int" spirit:format="choice" spirit:id="STRETCH_VAL" spirit:name="STRETCH_VAL" spirit:prompt="External Data Memory Stretch Cycles:" spirit:resolve="user">0</spirit:hwParameter>
         <spirit:hwParameter spirit:choiceRef="Choice_FamilyValue" spirit:id="FAMILY" spirit:name="FAMILY" spirit:prompt="FPGA Family:" spirit:dataType="int">17</spirit:hwParameter>
         <!-- The following config options fixed and hidden for now -->
         <spirit:hwParameter spirit:id="USE_UJTAG" spirit:name="USE_UJTAG" spirit:prompt="Use UJTAG:" spirit:dataType="boolean" spirit:resolve="generated">1</spirit:hwParameter>
         <spirit:hwParameter spirit:id="EN_FF_OPTS" spirit:name="EN_FF_OPTS" spirit:prompt="Enable flip-flop optimizations:" spirit:dataType="boolean" spirit:resolve="generated">0</spirit:hwParameter>
      </spirit:hwParameters>
      <spirit:vendorExtensions>
         <actel-cc:variantParameters>
            <actel-cc:variantParameter actel-cc:choiceRef="HDL_licenseChoice" spirit:id="HDL_license" spirit:name="license" spirit:prompt="License:" spirit:resolve="user" spirit:dataType="string">U</actel-cc:variantParameter>
         </actel-cc:variantParameters>
         <actel-cc:script>
            Enable('INCL_TRACE',Eq('USE_OCI','Yes'));
            Enable('TRIG_NUM',Eq('USE_OCI','Yes'));
            Enable('WAIT_VAL',Eq('VARIABLE_WAIT','No'));
            Enable('STRETCH_VAL',Eq('VARIABLE_STRETCH','No'));
         </actel-cc:script>
      </spirit:vendorExtensions>
   </spirit:hwModel>
   <spirit:choices>
      <spirit:choice>
         <spirit:name>USE_OCIChoice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="Debug included">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="Debug not included">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>INCL_TRACEChoice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="Trace RAM included">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="Trace RAM not included">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>TRIG_NUMChoice</spirit:name>
         <spirit:enumeration spirit:text="0" spirit:help="0 triggers">0</spirit:enumeration>
         <spirit:enumeration spirit:text="1" spirit:help="1 trigger">1</spirit:enumeration>
         <spirit:enumeration spirit:text="2" spirit:help="2 triggers">2</spirit:enumeration>
         <spirit:enumeration spirit:text="4" spirit:help="4 triggers">4</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>APB_DWIDTHChoice</spirit:name>
         <spirit:enumeration spirit:text="32" spirit:help="32 bit APB data width">32</spirit:enumeration>
         <spirit:enumeration spirit:text="16" spirit:help="16 bit APB data width">16</spirit:enumeration>
         <spirit:enumeration spirit:text="8" spirit:help="8 bit APB data width">8</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>INCL_DPTR1Choice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="Second data pointer included">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="Second data pointer not included">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>INCL_MUL_DIV_DAChoice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="MUL, DIV and DA instructions included">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="MUL, DIV and DA instructions not included">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>VARIABLE_WAITChoice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="MEMPSACKI controlled program memory">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="Program Memory Wait Cycles">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>WAIT_VALChoice</spirit:name>
         <spirit:enumeration spirit:text="0" spirit:help="0">0</spirit:enumeration>
         <spirit:enumeration spirit:text="1" spirit:help="1">1</spirit:enumeration>
         <spirit:enumeration spirit:text="2" spirit:help="2">2</spirit:enumeration>
         <spirit:enumeration spirit:text="3" spirit:help="3">3</spirit:enumeration>
         <spirit:enumeration spirit:text="4" spirit:help="4">4</spirit:enumeration>
         <spirit:enumeration spirit:text="5" spirit:help="5">5</spirit:enumeration>
         <spirit:enumeration spirit:text="6" spirit:help="6">6</spirit:enumeration>
         <spirit:enumeration spirit:text="7" spirit:help="7">7</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>VARIABLE_STRETCHChoice</spirit:name>
         <spirit:enumeration spirit:text="Yes" spirit:help="MEMACKI-controlled External Data Memory">1</spirit:enumeration>
         <spirit:enumeration spirit:text="No" spirit:help="External Data Memory Stretch Cycles">0</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>STRETCH_VALChoice</spirit:name>
         <spirit:enumeration spirit:text="0" spirit:help="0">0</spirit:enumeration>
         <spirit:enumeration spirit:text="1" spirit:help="1">1</spirit:enumeration>
         <spirit:enumeration spirit:text="2" spirit:help="2">2</spirit:enumeration>
         <spirit:enumeration spirit:text="3" spirit:help="3">3</spirit:enumeration>
         <spirit:enumeration spirit:text="4" spirit:help="4">4</spirit:enumeration>
         <spirit:enumeration spirit:text="5" spirit:help="5">5</spirit:enumeration>
         <spirit:enumeration spirit:text="6" spirit:help="6">6</spirit:enumeration>
         <spirit:enumeration spirit:text="7" spirit:help="7">7</spirit:enumeration>
      </spirit:choice>
      <spirit:choice>
         <spirit:name>Choice_FamilyValue</spirit:name>
         <spirit:enumeration spirit:text="ProASICPlus" spirit:help="ProASICPlus">14</spirit:enumeration>
         <spirit:enumeration spirit:text="ProASIC3" spirit:help="ProASIC3">15</spirit:enumeration>
         <spirit:enumeration spirit:text="ProASIC3E" spirit:help="ProASIC3E">16</spirit:enumeration>
         <spirit:enumeration spirit:text="Fusion" spirit:help="Fusion">17</spirit:enumeration>
      </spirit:choice>
   </spirit:choices>
   <spirit:fileSets>
      <spirit:fileSet spirit:fileSetId="ANY_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>bfm/compiler/bfmCompile.tcl</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>bfm/compiler/simSelect.do</spirit:name>
            <spirit:userFileType>DO</spirit:userFileType>
            <spirit:vendorExtensions>
                <actel-cc:IncludeInRunDo/>
            </spirit:vendorExtensions>
         </spirit:file>
         <spirit:file>
            <spirit:name>bfm/subsystem.bfm</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Licensed_ANY_SIMULATION_FILESET-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>bfm/compiler/8051s_licensed.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="VERILOG_ANY_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>bfm/rtl/verilog/o/BFMapb.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>bfm/rtl/verilog/o/Core8051s_bfm.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="VHDL_ANY_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>bfm/rtl/vhdl/u/bfm_utils.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>bfm/rtl/vhdl/o/BFMapb.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>bfm/rtl/vhdl/o/Core8051s_bfm.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Verification-Scripts_ANY_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/run_8051s_verif.do</spirit:name>
            <spirit:userFileType>DO</spirit:userFileType>
            <spirit:vendorExtensions>
                <actel-cc:IncludeInRunDo/>
            </spirit:vendorExtensions>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Verification-Tests-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test001/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test001/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test001/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test002/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test002/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test002/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test003/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test003/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test003/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test004/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test004/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test004/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test005/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test005/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test005/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test006/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test006/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test006/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test007/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test007/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test007/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test008/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test008/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test008/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test009/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test009/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test009/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test010/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test010/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test010/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test011/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test011/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test011/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test012/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test012/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test012/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test013/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test013/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test013/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test014/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test014/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test014/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test015/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test015/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test015/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test016/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test016/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test016/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test017/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test017/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test017/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test018/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test018/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test018/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test019/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test019/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test019/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test020/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test020/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test020/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test021/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test021/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test021/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test022/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test022/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test022/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test023/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test023/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test023/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test024/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test024/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test024/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test025/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test025/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test025/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test026/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test026/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test026/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test027/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test027/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test027/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test028/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test028/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test028/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test029/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test029/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test029/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test030/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test030/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test030/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test031/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test031/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test031/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test032/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test032/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test032/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test033/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test033/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test033/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test034/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test034/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test034/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test035/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test035/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test035/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test036/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test036/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test036/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test037/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test037/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test037/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test038/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test038/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test038/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test039/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test039/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test039/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test040/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test040/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test040/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test041/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test041/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test041/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test042/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test042/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test042/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test043/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test043/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test043/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test044/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test044/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test044/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test045/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test045/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test045/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test046/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test046/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test046/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test047/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test047/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test047/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test048/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test048/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test048/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test049/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test049/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test049/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test050/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test050/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test050/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test051/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test051/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test051/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test052/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test052/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test052/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test053/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test053/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test053/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test054/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test054/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test054/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test055/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test055/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test055/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test056/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test056/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test056/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test057/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test057/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test057/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test058/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test058/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test058/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test059/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test059/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test059/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test060/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test060/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test060/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test061/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test061/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test061/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test062/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test062/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test062/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test063/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test063/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test063/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test064/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test064/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test064/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test065/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test065/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test065/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test066/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test066/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test066/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test067/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test067/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test067/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test068/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test068/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test068/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test069/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test069/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test069/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test070/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test070/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test070/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test071/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test071/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test071/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test072/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test072/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test072/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test073/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test073/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test073/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test074/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test074/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test074/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test075/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test075/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test075/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test076/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test076/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test076/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test077/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test077/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test077/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test078/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test078/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test078/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test079/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test079/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test079/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test080/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test080/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test080/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test081/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test081/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test081/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test082/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test082/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test082/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test083/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test083/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test083/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test084/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test084/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test084/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test085/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test085/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test085/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test086/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test086/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test086/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test087/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test087/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test087/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test088/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test088/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test088/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test089/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test089/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test089/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test090/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test090/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test090/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test091/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test091/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test091/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test092/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test092/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test092/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test093/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test093/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test093/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test094/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test094/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test094/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test095/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test095/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test095/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test096/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test096/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test096/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test097/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test097/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test097/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test098/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test098/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test098/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test099/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test099/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test099/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test100/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test100/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test100/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test101/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test101/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test101/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test102/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test102/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test102/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test103/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test103/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test103/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test104/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test104/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test104/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test105/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test105/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test105/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test106/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test106/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test106/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test107/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test107/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test107/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test108/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test108/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test108/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test109/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test109/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test109/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test110/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test110/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test110/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test111/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test111/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test111/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test112/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test112/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test112/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test113/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test113/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test113/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test114/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test114/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test114/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test115/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test115/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test115/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test116/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test116/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test116/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test117/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test117/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test117/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test118/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test118/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test118/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test119/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test119/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test119/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test120/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test120/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test120/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test121/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test121/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test121/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test122/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test122/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test122/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test123/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test123/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test123/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test124/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test124/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test124/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test125/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test125/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test125/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test126/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test126/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test126/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test127/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test127/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test127/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test128/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test128/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test128/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test129/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test129/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test129/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test130/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test130/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test130/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test131/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test131/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test131/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test132/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test132/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test132/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test133/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test133/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test133/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test134/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test134/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test134/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test135/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test135/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test135/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test136/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test136/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test136/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test137/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test137/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test137/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test138/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test138/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test138/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test139/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test139/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test139/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test140/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test140/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test140/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test141/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test141/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test141/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test142/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test142/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test142/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test143/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test143/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test143/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test144/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test144/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test144/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test145/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test145/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test145/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test146/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test146/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test146/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test147/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test147/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test147/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test148/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test148/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test148/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test149/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test149/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test149/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test150/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test150/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test150/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test151/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test151/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test151/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test152/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test152/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test152/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test153/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test153/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test153/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test154/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test154/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test154/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test155/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test155/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test155/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test156/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test156/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test156/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test157/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test157/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test157/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test158/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test158/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test158/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test159/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test159/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test159/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test160/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test160/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test160/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test161/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test161/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test161/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test162/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test162/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test162/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test163/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test163/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test163/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test164/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test164/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test164/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test165/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test165/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test165/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test166/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test166/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test166/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test167/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test167/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test167/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test168/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test168/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test168/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test169/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test169/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test169/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test170/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test170/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test170/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test171/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test171/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test171/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test172/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test172/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test172/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test173/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test173/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test173/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test174/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test174/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test174/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test175/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test175/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test175/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test176/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test176/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test176/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test177/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test177/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test177/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test178/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test178/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test178/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test179/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test179/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test179/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test180/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test180/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test180/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test181/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test181/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test181/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test182/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test182/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test182/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test183/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test183/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test183/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test184/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test184/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test184/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test185/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test185/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test185/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test186/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test186/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test186/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test187/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test187/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test187/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test188/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test188/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test188/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test189/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test189/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test189/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test190/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test190/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test190/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test191/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test191/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test191/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test192/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test192/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test192/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test193/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test193/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test193/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test194/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test194/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test194/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test195/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test195/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test195/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test196/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test196/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test196/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test197/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test197/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test197/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test198/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test198/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test198/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test199/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test199/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test199/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test200/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test200/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test200/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test201/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test201/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test201/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test202/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test202/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test202/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test203/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test203/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test203/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test204/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test204/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test204/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test205/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test205/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test205/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test206/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test206/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test206/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test207/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test207/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test207/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test208/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test208/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test208/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test209/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test209/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test209/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test210/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test210/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test210/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test211/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test211/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test211/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test212/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test212/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test212/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test213/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test213/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test213/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test214/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test214/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test214/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test215/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test215/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test215/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test216/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test216/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test216/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test217/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test217/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test217/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test218/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test218/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test218/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test219/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test219/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test219/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test220/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test220/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test220/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test221/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test221/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test221/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test222/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test222/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test222/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test223/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test223/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test223/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test224/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test224/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test224/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test225/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test225/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test225/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test226/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test226/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test226/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test227/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test227/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test227/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test228/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test228/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test228/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test229/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test229/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test229/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test230/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test230/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test230/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test231/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test231/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test231/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test232/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test232/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test232/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test233/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test233/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test233/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test234/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test234/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test234/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test235/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test235/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test235/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test236/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test236/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test236/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test237/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test237/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test237/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test238/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test238/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test238/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test239/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test239/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test239/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test240/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test240/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test240/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test241/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test241/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test241/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test242/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test242/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test242/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test243/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test243/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test243/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test244/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test244/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test244/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test245/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test245/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test245/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test246/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test246/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test246/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test247/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test247/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test247/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test248/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test248/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test248/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test249/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test249/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test249/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test250/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test250/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test250/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test251/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test251/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test251/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test252/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test252/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test252/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test253/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test253/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test253/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test254/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test254/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test254/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test255/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test255/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test255/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test256/acscomp.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test256/extrom.hex</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/runtime/tests/opcode/test256/time.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_STIMULUS_FILESET-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/verilog/jtagdef.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
            <spirit:vendorExtensions>
                <actel-cc:isIncludeFile/>
            </spirit:vendorExtensions>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/extacs.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/extclock.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/user_ram.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/user_rom.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/oci_sys.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/tb_oci_sys.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/tb_verif.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_STIMULUS_FILESET-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/verilog/jtagdef.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
            <spirit:vendorExtensions>
                <actel-cc:isIncludeFile/>
            </spirit:vendorExtensions>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/extacs.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/extclock.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/user_ram.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/user_rom.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/oci_sys.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/tb_oci_sys.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/verilog/tb_verif.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_APA_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVerilog_APA_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_A3P_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVerilog_A3P_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_A3PE_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVerilog_A3PE_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogVerification_Fusion_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVerilog_Fusion_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_vlog.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_STIMULUS_FILESET-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/vhdl/core8051_pkg.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/jtagdef.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/extacs.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/extclock.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/user_ram.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/user_rom.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/oci_sys.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/tb_oci_sys.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/tb_verif.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_STIMULUS_FILESET-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/vhdl/core8051_pkg.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/jtagdef.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/extacs.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/extclock.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/user_ram.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/user_rom.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/oci_sys.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/tb_oci_sys.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/vhdl/tb_verif.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_APA_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVHDL_APA_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_apa.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_A3P_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVHDL_A3P_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_A3PE_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVHDL_A3PE_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_proasic3e.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLVerification_Fusion_ANY_SIMULATION_FILESET_O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>verification/sim/8051s_obfuscated.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-UnlicensedVHDL_Fusion_SIMULATION_FILESET">
         <spirit:file>
            <spirit:name>verification/sim/8051s_fusion.txt</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-Unlicensed">
         <spirit:file>
            <spirit:name>rtl/verilog/u/Core8051s_eval.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-Base-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/alu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/clkctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_utility.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/cpu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/debug.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/instrdec.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/isr.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtag.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtagdef.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/main8051.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/memctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/oci.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/ocia51.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/pmu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/ramsfrctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/rstctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/trace.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/trigger.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-Base-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/o/alu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/clkctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/cpu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/debug.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/instrdec.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/isr.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/jtag.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/main8051.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/memctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/oci.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/ocia51.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/pmu.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/ramsfrctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/rstctrl.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/trace.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/trigger.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VerilogSource-APA-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVerilogSource-APA">
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-APA-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X20_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X8_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_globs_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtagapa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-APA-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X20_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X8_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s_globs_apa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/jtagapa.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VerilogSource-A3P-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVerilogSource-A3P">
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-A3P-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_globs_pa3.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtagpa3.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-A3P-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s_globs_pa3.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/jtagpa3.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VerilogSource-A3PE-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVerilogSource-A3PE">
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-A3PE-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_globs_pa3e.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtagpa3e.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-A3PE-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s_globs_pa3e.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/jtagpa3e.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VerilogSource-Fusion-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVerilogSource-Fusion">
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-Fusion-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/core8051s_globs_fusion.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/u/jtagfusion.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VerilogSource-Fusion-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X20.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/RAM256X8.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/core8051s_globs_fusion.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/verilog/o/jtagfusion.v</spirit:name>
            <spirit:fileType>verilogSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-Base-Unlicensed">
         <spirit:file>
            <spirit:name>rtl/vhdl/u/Core8051s_eval.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-Base-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/alu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/clkctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_utility.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/cpu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/debug.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/instrdec.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/isr.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtag.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtagdef.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/main8051.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/memctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/oci.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/ocia51.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/pmu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/ramsfrctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/rstctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/trace.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/trigger.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-Base-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/alu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/clkctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_utility.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/cpu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/debug.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/instrdec.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/isr.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtag.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtagdef.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/main8051.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/memctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/oci.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/ocia51.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/pmu.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/ramsfrctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/rstctrl.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/trace.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/trigger.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VHDLSource-APA-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVHDLSource-APA">
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-APA-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X20_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X8_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_globs_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtagapa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-APA-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X20_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X8_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_globs_apa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtagapa.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VHDLSource-A3P-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVHDLSource-A3P">
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-A3P-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X20_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X8_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_globs_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtagpa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-A3P-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X20_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X8_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_globs_pa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtagpa3.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VHDLSource-A3PE-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVHDLSource-A3PE">
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-A3PE-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X20_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X8_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_globs_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtagpa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-A3PE-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X20_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X8_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_globs_pa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtagpa3e.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-VHDLSource-Fusion-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Top-OVHDLSource-Fusion">
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-Fusion-U">
         <spirit:group>RTL</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X20_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/RAM256X8_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/core8051s_globs_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/u/jtagfusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-VHDLSource-Fusion-O">
         <spirit:group>Obfuscated</spirit:group>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X20_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/RAM256X8_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/core8051s_globs_fusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>rtl/vhdl/o/jtagfusion.vhd</spirit:name>
            <spirit:fileType>vhdlSource</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
      <spirit:fileSet spirit:fileSetId="fs-Docs_ALL">
         <spirit:file>
            <spirit:name>docs/Core8051s_HB.pdf</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>docs/Core8051_IS_UG.pdf</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
         <spirit:file>
            <spirit:name>docs/Core8051s_RN.pdf</spirit:name>
            <spirit:fileType>unknown</spirit:fileType>
         </spirit:file>
      </spirit:fileSet>
   </spirit:fileSets>
   <spirit:cpus>
      <spirit:cpu>
         <spirit:name>CORE8051S</spirit:name>
         <spirit:addressSpaceRef spirit:addressSpaceRef="APBAddressSpace"/>
      </spirit:cpu>
   </spirit:cpus>
   <spirit:vendorExtensions>
      <actel-cc:displayName>Core8051s</actel-cc:displayName>
     <actel-cc:functionalType/>
      <actel-cc:variation/>
      <actel-cc:categories categoryName="Core Provider">
         <actel-cc:category name="Actel"/>
      </actel-cc:categories>
      <actel-cc:type typeName="DirectCore"/>
      <actel-cc:categories categoryName="Functional Category">
         <actel-cc:category name="Processors"/>
      </actel-cc:categories>
      <actel-cc:categories categoryName="Market Segment">
         <actel-cc:category name="Aerospace"/>
         <actel-cc:category name="Automotive"/>
         <actel-cc:category name="Military"/>
         <actel-cc:category name="Industrial"/>
         <actel-cc:category name="Medical"/>
         <actel-cc:category name="Consumer"/>
         <actel-cc:category name="Multimedia"/>
         <actel-cc:category name="Gaming"/>
      </actel-cc:categories>
      <actel-cc:categories categoryName="Product Family" style="checkbox">
         <actel-cc:category name="Fusion"/>
         <actel-cc:category name="ProASIC3"/>
         <actel-cc:category name="ProASIC3E"/>
         <actel-cc:category name="ProASIC3/E"/>
         <actel-cc:category name="ProASICPLUS"/>
         <!--
         <actel-cc:category name="Axcelerator"/>
         <actel-cc:category name="RTAX-S"/>
         -->
      </actel-cc:categories>
      <actel-cc:categories categoryName="Temperature Grade" style="hidden">
         <actel-cc:category name="Automotive"/>
         <actel-cc:category name="Commercial"/>
         <actel-cc:category name="Industrial"/>
         <actel-cc:category name="Military"/>
      </actel-cc:categories>
      <actel-cc:categories categoryName="Interface Type">
         <actel-cc:category name="AmbaBus"/>
      </actel-cc:categories>
      <actel-cc:description>
8051 processor core with APB master interface.

Core8051s is a small, general-purpose processor. This processor is compatible with the instruction set of
the 8051 microcontroller and preserves the three distinct software memory spaces so that it may be targeted by
existing 8051 C compilers. To make it smaller and more flexible than the 8051, however, some of the
microcontroller-specific features of the 8051 are not present.

A small subset of SFR registers are present but the peripherals are memory-mapped, rather than SFR-mapped.
The peripherals appear only in external data memory space (on an APB bus) and not in internal memory space.
The external ROM and external RAM share a common memory bus interface.

This core must be used with CoreAPB3 (not CoreAPB) for connecting to APB peripherals.

      </actel-cc:description>
   </spirit:vendorExtensions>
</spirit:component>
