ipxact-tools 0.2.0

data/spec/test_data/spiritconsortium.org/Leon2TLM/irqctrl/1.4/tlmsrc/irqctrl.cc

@@ -0,0 +1,211 @@
+// 
+// Revision:    $Revision: 1506 $
+// Date:        $Date: 2009-04-26 01:51:56 -0500 (Sun, 26 Apr 2009) $
+// 
+// Copyright (c) 2005, 2006, 2007, 2008, 2009 The SPIRIT Consortium.
+// 
+// This work forms part of a deliverable of The SPIRIT Consortium.
+// 
+// Use of these materials are governed by the legal terms and conditions
+// outlined in the disclaimer available from www.spiritconsortium.org.
+// 
+// This source file is provided on an AS IS basis.  The SPIRIT
+// Consortium disclaims any warranty express or implied including
+// any warranty of merchantability and fitness for use for a
+// particular purpose.
+// 
+// The user of the source file shall indemnify and hold The SPIRIT
+// Consortium and its members harmless from any damages or liability.
+// Users are requested to provide feedback to The SPIRIT Consortium
+// using either mailto:feedback@lists.spiritconsortium.org or the forms at 
+// http://www.spiritconsortium.org/about/contact_us/
+// 
+// This file may be copied, and distributed, with or without
+// modifications; but this notice must be included on any copy.
+
+ /*------------------------------------------------------------------------------
+ * Simple Leon2 TLM interrupt controller
+ * Note: in this (dummy) implementation we only use a single register
+ * to enable or disable the interrupts.
+ *------------------------------------------------------------------------------*/
+
+/*------------------------------------------------------------------------------
+ * Includes							       
+ *----------------------------------------------------------------------------*/
+#include "irqctrl.h"
+
+/*------------------------------------------------------------------------------
+ * Methods
+ *----------------------------------------------------------------------------*/
+irqctrl::irqctrl( sc_module_name module_name) :
+  sc_module( module_name ),
+  pv_slave_base<ADDRESS_TYPE,DATA_TYPE>(name()),
+  irlout("irlout"),
+  irlin("irlin"),
+  intack("intack"),
+  int0("int0"),
+  int1("int1"),
+  int2("int2"),
+  int3("int3"),
+  apb_slave_port("apb_slave_port")
+{
+  apb_slave_port( *this );
+  init_register();
+  SC_METHOD(run);
+  dont_initialize();
+  sensitive << int0;
+  sensitive << int1;
+  sensitive << int2;
+  sensitive << int3;
+  sensitive << int4;
+  SC_METHOD(run2);
+  dont_initialize();
+  sensitive << force_change;
+  SC_METHOD(ack);
+  dont_initialize();
+  sensitive << intack;
+  irlout.initialize(0);
+}
+
+irqctrl::~irqctrl() {
+}
+
+tlm::tlm_status irqctrl::write( const ADDRESS_TYPE &addr , const DATA_TYPE &data,
+				const unsigned int byte_enable,
+				const tlm::tlm_mode mode,
+				const unsigned int export_id)
+{
+  tlm::tlm_status status;
+
+  if ((addr < IRQ_BASE_ADDR) || (addr >= IRQ_BASE_ADDR+IRQ_SIZE)) {
+    cout << "ERROR\t" << name() << " : trying to write out of bounds at address " << addr << endl;
+    status.set_error();
+    return status;
+  }
+  if (addr==IRQ_MASK) { 
+    irq_mask = (data >> 1) & 0x7FFF;
+    irq_level = (data >> 17) & 0x7FFF;
+    if (irq_mask > 0) {
+      int i;
+      for (i=1;i<=15;i++) {
+	if ((irq_mask >> i-1) & 0x01) {
+	  cout << name() << "    Interrupt " << i << " enabled: " << endl; 
+	}
+      }
+    }
+    force_change.notify();
+  }
+
+  if (addr==IRQ_FORCE) {
+    irq_force = (data >> 1) & 0x7FFF;
+    force_change.notify();
+  }
+
+  // clear the pending bit
+  if (addr==IRQ_CLEAR) irq_pending = irq_pending & ~(data >> 1) & 0x7FFF;
+
+  status.set_ok();
+  return status;
+}
+
+tlm::tlm_status irqctrl::read( const ADDRESS_TYPE &addr , DATA_TYPE &data,
+			      const unsigned int byte_enable,
+			      const tlm::tlm_mode mode,
+			      const unsigned int export_id)
+{
+  tlm::tlm_status status;
+  if ((addr < IRQ_BASE_ADDR) || (addr >= IRQ_BASE_ADDR+IRQ_SIZE)) {
+    cout << "ERROR\t" << name() << " : trying to read out of bounds at address " << addr << endl;
+    status.set_error();
+    return status;
+  }
+  if (addr==IRQ_MASK) data = ((irq_mask << 1) & 0xFFFE) | ((irq_level << 17) & 0xFFFE0000);
+  if (addr==IRQ_PENDING) data = ((irq_pending << 1) & 0xFFFE);
+  if (addr==IRQ_FORCE) data = 0;
+  if (addr==IRQ_CLEAR) data = 0;
+  if (addr==IRQ_READCLEARPENDING) {
+    data = irl;
+    force_change.notify();
+  }
+  cout << name() << "    Read IRQ register value: " << data << endl; 
+  status.set_ok();
+  return status;
+}
+
+void irqctrl::end_of_elaboration() {
+  cout << name() << " constructed." << endl;
+}
+
+void irqctrl::init_register()
+{
+  irq_mask=0;
+  irq_level=0;
+  irq_pending=0;
+  irq_force=0;
+  irl = 0;
+  irq_last=0;
+}
+
+void irqctrl::run() 
+{
+  int pending;
+  int last_pending = irq_pending;
+
+  // just catch the rising edge of the interrupt
+  pending = (~irq_last & ( int0.read()*1 + int1.read()*2 +int2.read()*4 +int3.read()*8 +int4.read()*16));
+  irq_pending = irq_pending | pending;
+
+  irq_last = ( int0.read()*1 + int1.read()*2 +int2.read()*4 +int3.read()*8 +int4.read()*16);
+
+  // just call if things changed
+  if (irq_pending != last_pending)
+	  force_change.notify();
+}
+
+void irqctrl::run2() 
+{
+  int hilevel = (irq_force | irq_pending ) & irq_mask & irq_level;
+  int lolevel = (irq_force | irq_pending ) & irq_mask & (~irq_level & 0x7FFF);
+
+  // reset the force register after processing.
+  irq_force = 0;
+
+  if (hilevel > 0  && hilevel >= lolevel) {
+    int i;
+    for (i=15;i>=1;i--) {
+      if (hilevel & (0x1 << i-1)) {
+        irlout.write(i);	
+	cout << name() << " interrupt set to level " << i << " At time " << sc_time_stamp() << endl;
+	irl = i;
+	break;
+      }
+    }
+  }
+  else {
+    if (lolevel > 0  && lolevel > hilevel) {
+      int i;
+      for (i=15;i>=1;i--) {
+	if (lolevel & (0x1 << i-1)) {
+	  irlout.write(i);	
+	  cout << name() << " interrupt set to level " << i <<" At time " <<  sc_time_stamp() << endl;
+	  irl = i;
+	  break;
+	}
+      }
+    }
+    else {
+      irlout.write(0);	
+      cout << name() << " interrupt set to level " << 0 << " At time " << sc_time_stamp() << endl;
+      irl = 0;
+    }
+  }
+}
+
+void irqctrl::ack() 
+{
+  if (intack.read() == 1) {
+    cout << name() << " got interrupt ack" << endl;
+    irq_pending = irq_pending & (~(0x1 << (irlin-1)) & 0x7FFF);
+    force_change.notify();
+  }
+}

data/spec/test_data/spiritconsortium.org/Leon2TLM/irqctrl/1.4/tlmsrc/irqctrl.h

@@ -0,0 +1,108 @@
+// 
+// Revision:    $Revision: 1506 $
+// Date:        $Date: 2009-04-26 01:51:56 -0500 (Sun, 26 Apr 2009) $
+// 
+// Copyright (c) 2005, 2006, 2007, 2008, 2009 The SPIRIT Consortium.
+// 
+// This work forms part of a deliverable of The SPIRIT Consortium.
+// 
+// Use of these materials are governed by the legal terms and conditions
+// outlined in the disclaimer available from www.spiritconsortium.org.
+// 
+// This source file is provided on an AS IS basis.  The SPIRIT
+// Consortium disclaims any warranty express or implied including
+// any warranty of merchantability and fitness for use for a
+// particular purpose.
+// 
+// The user of the source file shall indemnify and hold The SPIRIT
+// Consortium and its members harmless from any damages or liability.
+// Users are requested to provide feedback to The SPIRIT Consortium
+// using either mailto:feedback@lists.spiritconsortium.org or the forms at 
+// http://www.spiritconsortium.org/about/contact_us/
+// 
+// This file may be copied, and distributed, with or without
+// modifications; but this notice must be included on any copy.
+
+#ifndef _IRQCTRL_H_
+#define _IRQCTRL_H_
+
+/*------------------------------------------------------------------------------
+ * Includes							       
+ *----------------------------------------------------------------------------*/
+#include <systemc.h>
+
+#include "pv_slave_base.h"
+#include "pv_target_port.h"
+#include "user_types.h"
+
+/*------------------------------------------------------------------------------
+ * Define device parameters
+ *----------------------------------------------------------------------------*/
+#define IRQ_BASE_ADDR     0x0000 // in global systems, start at: 0x30000000
+#define IRQ_SIZE          0x1000 // 4Kb
+
+/*------------------------------------------------------------------------------
+ * Define IRQ Registers
+ * Note : here static, but could be read from external description
+ *----------------------------------------------------------------------------*/
+#define IRQ_MASK      0x0000
+#define IRQ_PENDING   0x0004
+#define IRQ_FORCE     0x0008
+#define IRQ_CLEAR     0x000c
+#define IRQ_READCLEARPENDING   0x0010
+
+/*------------------------------------------------------------------------------
+ * Define IRQ Register
+ * Note : here static, but could be read from external description
+ *----------------------------------------------------------------------------*/
+#define IRQ_DISABLED      0
+#define IRQ_ENABLED       1
+
+/*------------------------------------------------------------------------------
+ * leon2 irqctrl
+ *----------------------------------------------------------------------------*/
+
+class irqctrl :
+  public sc_module ,
+  public pv_slave_base< ADDRESS_TYPE , DATA_TYPE >
+{
+public:
+  SC_HAS_PROCESS(irqctrl);
+  irqctrl( sc_module_name module_name);
+  ~irqctrl();
+
+  pv_target_port<ADDRESS_TYPE,DATA_TYPE>    apb_slave_port;
+  sc_in<int>		int0;
+  sc_in<int>		int1;
+  sc_in<int>		int2;
+  sc_in<int>		int3;
+  sc_in<int>		int4;
+  sc_out<int>	  irlout;
+  sc_in<int>	  irlin;
+  sc_in<bool>		intack;
+
+  tlm::tlm_status write( const ADDRESS_TYPE &addr , const DATA_TYPE &data,
+			 const unsigned int byte_enable = tlm::NO_BE,
+			 const tlm::tlm_mode mode = tlm::REGULAR,
+			 const unsigned int export_id = 0 );
+  tlm::tlm_status read( const ADDRESS_TYPE &addr , DATA_TYPE &data,
+			const unsigned int byte_enable = tlm::NO_BE,
+			const tlm::tlm_mode mode = tlm::REGULAR,
+			const unsigned int export_id = 0 );
+
+private:
+  int irq_mask;
+  int irq_level;
+  int irq_pending;
+  int irq_force;
+  int irq_last;
+  int irl;
+  sc_event force_change;
+  void init_register();
+  void run();
+  void run2();
+  void ack();
+  void end_of_elaboration();
+};
+
+#endif /* _IRQCTRL_H_ */

data/spec/test_data/spiritconsortium.org/Leon2TLM/processor/1.4/processor.xml

@@ -0,0 +1,423 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!--
+// 
+// Revision:    $Revision: 1506 $
+// Date:        $Date: 2009-04-26 01:51:56 -0500 (Sun, 26 Apr 2009) $
+// 
+// Copyright (c) 2005, 2006, 2007, 2008, 2009 The SPIRIT Consortium.
+// 
+// This work forms part of a deliverable of The SPIRIT Consortium.
+// 
+// Use of these materials are governed by the legal terms and conditions
+// outlined in the disclaimer available from www.spiritconsortium.org.
+// 
+// This source file is provided on an AS IS basis.  The SPIRIT
+// Consortium disclaims any warranty express or implied including
+// any warranty of merchantability and fitness for use for a
+// particular purpose.
+// 
+// The user of the source file shall indemnify and hold The SPIRIT
+// Consortium and its members harmless from any damages or liability.
+// Users are requested to provide feedback to The SPIRIT Consortium
+// using either mailto:feedback@lists.spiritconsortium.org or the forms at 
+// http://www.spiritconsortium.org/about/contact_us/
+// 
+// This file may be copied, and distributed, with or without
+// modifications; but this notice must be included on any copy.
+-->
+<spirit:component xmlns:spirit="http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.5" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.5 http://www.spiritconsortium.org/XMLSchema/SPIRIT/1.5/index.xsd">
+  <spirit:vendor>spiritconsortium.org</spirit:vendor>
+  <spirit:library>Leon2TLM</spirit:library>
+  <spirit:name>processor</spirit:name>
+  <spirit:version>1.4</spirit:version>
+  <spirit:busInterfaces>
+    <spirit:busInterface>
+      <spirit:name>AHB_Master</spirit:name>
+      <spirit:busType spirit:library="AMBA2" spirit:name="AHB" spirit:vendor="amba.com" spirit:version="r2p0_6"/>
+      <spirit:abstractionType spirit:library="abstractiondef.tlm" spirit:name="ahb_pv" spirit:vendor="spiritconsortium.org" spirit:version="1.4"/>
+      <spirit:master>
+        <spirit:addressSpaceRef spirit:addressSpaceRef="main_AS"/>
+      </spirit:master>
+      <spirit:connectionRequired>true</spirit:connectionRequired>
+      <spirit:portMaps>
+        <spirit:portMap>
+          <spirit:logicalPort>
+            <spirit:name>PV_TRANS</spirit:name>
+          </spirit:logicalPort>
+          <spirit:physicalPort>
+            <spirit:name>ahb_master_port</spirit:name>
+          </spirit:physicalPort>
+        </spirit:portMap>
+      </spirit:portMaps>
+    </spirit:busInterface>
+    <spirit:busInterface>
+      <spirit:name>APB_Slave</spirit:name>
+      <spirit:busType spirit:library="AMBA2" spirit:name="APB" spirit:vendor="amba.com" spirit:version="r2p0_4"/>
+      <spirit:abstractionType spirit:library="abstractiondef.tlm" spirit:name="apb_pv" spirit:vendor="spiritconsortium.org" spirit:version="1.4"/>
+      <spirit:slave>
+        <spirit:memoryMapRef spirit:memoryMapRef="APB_MM"/>
+      </spirit:slave>
+      <spirit:portMaps>
+        <spirit:portMap>
+          <spirit:logicalPort>
+            <spirit:name>PV_TRANS</spirit:name>
+          </spirit:logicalPort>
+          <spirit:physicalPort>
+            <spirit:name>apb_slave_port</spirit:name>
+          </spirit:physicalPort>
+        </spirit:portMap>
+      </spirit:portMaps>
+    </spirit:busInterface>
+    <spirit:busInterface>
+      <spirit:name>INT_Slave</spirit:name>
+      <spirit:busType spirit:library="busdef.leon2" spirit:name="IntProc" spirit:vendor="spiritconsortium.org" spirit:version="v1.0"/>
+      <spirit:abstractionType spirit:library="abstractiondef.tlm" spirit:name="IntProc_pv" spirit:vendor="spiritconsortium.org" spirit:version="1.4"/>
+      <spirit:slave/>
+      <spirit:portMaps>
+        <spirit:portMap>
+          <spirit:logicalPort>
+            <spirit:name>IRL</spirit:name>
+          </spirit:logicalPort>
+          <spirit:physicalPort>
+            <spirit:name>irl_port</spirit:name>
+          </spirit:physicalPort>
+        </spirit:portMap>
+        <spirit:portMap>
+          <spirit:logicalPort>
+            <spirit:name>IRQVEC</spirit:name>
+          </spirit:logicalPort>
+          <spirit:physicalPort>
+            <spirit:name>irqvec_port</spirit:name>
+          </spirit:physicalPort>
+        </spirit:portMap>
+        <spirit:portMap>
+          <spirit:logicalPort>
+            <spirit:name>INTack</spirit:name>
+          </spirit:logicalPort>
+          <spirit:physicalPort>
+            <spirit:name>intack_port</spirit:name>
+          </spirit:physicalPort>
+        </spirit:portMap>
+      </spirit:portMaps>
+    </spirit:busInterface>
+  </spirit:busInterfaces>
+  <spirit:addressSpaces>
+    <spirit:addressSpace>
+      <spirit:name>main_AS</spirit:name>
+      <spirit:range>4G</spirit:range>
+      <spirit:width>32</spirit:width>
+      <spirit:localMemoryMap>
+        <spirit:name>ahbLocalMemoryMap</spirit:name>
+        <spirit:addressBlock>
+          <spirit:name>defaultid4490218</spirit:name>
+          <spirit:baseAddress spirit:id="start_addr_local" spirit:resolve="immediate" spirit:choiceRef="BaseAddressChoices" spirit:configGroups="requiredConfig" spirit:prompt="Local Memory Map Starting Address:">0x10000000</spirit:baseAddress>
+          <spirit:range spirit:id="range_local" spirit:resolve="immediate" spirit:choiceRef="RangeChoice" spirit:configGroups="requiredConfig" spirit:prompt="Local Memory Map Range (bytes):">4096</spirit:range>
+          <spirit:width spirit:id="width">32</spirit:width>
+          <spirit:usage>memory</spirit:usage>
+        </spirit:addressBlock>
+      </spirit:localMemoryMap>
+    </spirit:addressSpace>
+  </spirit:addressSpaces>
+  <spirit:memoryMaps>
+    <spirit:memoryMap>
+      <spirit:name>APB_MM</spirit:name>
+      <spirit:bank spirit:bankAlignment="serial">
+        <spirit:name>defaultid4490282</spirit:name>
+        <spirit:baseAddress>0</spirit:baseAddress>
+        <spirit:addressBlock>
+          <spirit:name>registers</spirit:name>
+          <spirit:range>4</spirit:range>
+          <spirit:width>32</spirit:width>
+          <spirit:usage>register</spirit:usage>
+          <spirit:access>read-only</spirit:access>
+          <spirit:register>
+            <spirit:name>Failures</spirit:name>
+            <spirit:addressOffset>0x0</spirit:addressOffset>
+            <spirit:size>32</spirit:size>
+            <spirit:access>read-only</spirit:access>
+            <spirit:field>
+              <spirit:name>NumFailures</spirit:name>
+              <spirit:description>Number of failures from the AHB BFM</spirit:description>
+              <spirit:bitOffset>0</spirit:bitOffset>
+              <spirit:bitWidth>32</spirit:bitWidth>
+              <spirit:access>read-only</spirit:access>
+            </spirit:field>
+          </spirit:register>
+        </spirit:addressBlock>
+        <spirit:addressBlock>
+          <spirit:name>lowest1k</spirit:name>
+          <spirit:range>1020</spirit:range>
+          <spirit:width>32</spirit:width>
+          <spirit:usage>memory</spirit:usage>
+          <spirit:access>read-write</spirit:access>
+        </spirit:addressBlock>
+        <spirit:addressBlock>
+          <spirit:name>midlow1k</spirit:name>
+          <spirit:range>1k</spirit:range>
+          <spirit:width>32</spirit:width>
+          <spirit:usage>memory</spirit:usage>
+          <spirit:access>read-write</spirit:access>
+        </spirit:addressBlock>
+        <spirit:addressBlock>
+          <spirit:name>midhigh1k</spirit:name>
+          <spirit:range>1k</spirit:range>
+          <spirit:width>32</spirit:width>
+          <spirit:usage>memory</spirit:usage>
+          <spirit:access>read-write</spirit:access>
+        </spirit:addressBlock>
+        <spirit:bank spirit:bankAlignment="parallel">
+          <spirit:name>defaultid4490406</spirit:name>
+          <spirit:addressBlock>
+            <spirit:name>highest1kx7_0</spirit:name>
+            <spirit:range>1k</spirit:range>
+            <spirit:width>8</spirit:width>
+            <spirit:usage>memory</spirit:usage>
+            <spirit:access>read-write</spirit:access>
+          </spirit:addressBlock>
+          <spirit:addressBlock>
+            <spirit:name>highest1kx15_8</spirit:name>
+            <spirit:range>1k</spirit:range>
+            <spirit:width>8</spirit:width>
+            <spirit:usage>memory</spirit:usage>
+            <spirit:access>read-write</spirit:access>
+          </spirit:addressBlock>
+          <spirit:addressBlock>
+            <spirit:name>highest1kx23_16</spirit:name>
+            <spirit:range>1k</spirit:range>
+            <spirit:width>8</spirit:width>
+            <spirit:usage>memory</spirit:usage>
+            <spirit:access>read-write</spirit:access>
+          </spirit:addressBlock>
+          <spirit:addressBlock>
+            <spirit:name>highest1kx31_24</spirit:name>
+            <spirit:range>1k</spirit:range>
+            <spirit:width>8</spirit:width>
+            <spirit:usage>memory</spirit:usage>
+            <spirit:access>read-write</spirit:access>
+          </spirit:addressBlock>
+          <spirit:usage>memory</spirit:usage>
+          <spirit:access>read-write</spirit:access>
+        </spirit:bank>
+        <spirit:usage>memory</spirit:usage>
+        <spirit:access>read-write</spirit:access>
+      </spirit:bank>
+    </spirit:memoryMap>
+  </spirit:memoryMaps>
+  <spirit:model>
+    <spirit:views>
+      <spirit:view>
+        <spirit:name>TLM_PV</spirit:name>
+        <spirit:envIdentifier>:*Simulation:</spirit:envIdentifier>
+        <spirit:language>systemc</spirit:language>
+        <spirit:modelName>processor</spirit:modelName>
+        <spirit:fileSetRef>
+          <spirit:localName>sourceCode</spirit:localName>
+        </spirit:fileSetRef>
+      </spirit:view>
+    </spirit:views>
+    <spirit:ports>
+      <spirit:port>
+        <spirit:name>ahb_master_port</spirit:name>
+        <spirit:transactional>
+          <spirit:transTypeDef>
+            <spirit:typeName>pv_target_port</spirit:typeName>
+            <spirit:typeDefinition>pv_target_port.h</spirit:typeDefinition>
+          </spirit:transTypeDef>
+          <spirit:service>
+            <spirit:initiative>requires</spirit:initiative>
+            <spirit:serviceTypeDefs>
+              <spirit:serviceTypeDef>
+                <spirit:typeName spirit:implicit="true">OSCI_TLM_PV</spirit:typeName>
+                <spirit:parameters>
+                  <spirit:parameter>
+                    <spirit:name>typedef1</spirit:name>
+                    <spirit:value>ADDRESS_TYPE</spirit:value>
+                  </spirit:parameter>
+                  <spirit:parameter>
+                    <spirit:name>typedef2</spirit:name>
+                    <spirit:value>DATA_TYPE</spirit:value>
+                  </spirit:parameter>
+                </spirit:parameters>
+              </spirit:serviceTypeDef>
+            </spirit:serviceTypeDefs>
+          </spirit:service>
+        </spirit:transactional>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>apb_slave_port</spirit:name>
+        <spirit:transactional>
+          <spirit:transTypeDef>
+            <spirit:typeName>pv_initiator_port</spirit:typeName>
+            <spirit:typeDefinition>pv_initiator_port.h</spirit:typeDefinition>
+          </spirit:transTypeDef>
+          <spirit:service>
+            <spirit:initiative>provides</spirit:initiative>
+            <spirit:serviceTypeDefs>
+              <spirit:serviceTypeDef>
+                <spirit:typeName spirit:implicit="true">OSCI_TLM_PV</spirit:typeName>
+                <spirit:parameters>
+                  <spirit:parameter>
+                    <spirit:name>typedef1</spirit:name>
+                    <spirit:value>ADDRESS_TYPE</spirit:value>
+                  </spirit:parameter>
+                  <spirit:parameter>
+                    <spirit:name>typedef2</spirit:name>
+                    <spirit:value>DATA_TYPE</spirit:value>
+                  </spirit:parameter>
+                </spirit:parameters>
+              </spirit:serviceTypeDef>
+            </spirit:serviceTypeDefs>
+          </spirit:service>
+        </spirit:transactional>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>irl_port</spirit:name>
+        <spirit:wire>
+          <spirit:direction>in</spirit:direction>
+          <spirit:wireTypeDefs>
+            <spirit:wireTypeDef>
+              <spirit:typeName>int</spirit:typeName>
+              <spirit:typeDefinition>systemc.h</spirit:typeDefinition>
+              <spirit:viewNameRef>TLM_PV</spirit:viewNameRef>
+            </spirit:wireTypeDef>
+          </spirit:wireTypeDefs>
+          <spirit:driver>
+            <spirit:defaultValue>0x0</spirit:defaultValue>
+          </spirit:driver>
+        </spirit:wire>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>irqvec_port</spirit:name>
+        <spirit:wire>
+          <spirit:direction>out</spirit:direction>
+          <spirit:wireTypeDefs>
+            <spirit:wireTypeDef>
+              <spirit:typeName>int</spirit:typeName>
+              <spirit:typeDefinition>systemc.h</spirit:typeDefinition>
+              <spirit:viewNameRef>TLM_PV</spirit:viewNameRef>
+            </spirit:wireTypeDef>
+          </spirit:wireTypeDefs>
+        </spirit:wire>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>intack_port</spirit:name>
+        <spirit:wire>
+          <spirit:direction>out</spirit:direction>
+          <spirit:wireTypeDefs>
+            <spirit:wireTypeDef>
+              <spirit:typeName>bool</spirit:typeName>
+              <spirit:typeDefinition>systemc.h</spirit:typeDefinition>
+              <spirit:viewNameRef>TLM_PV</spirit:viewNameRef>
+            </spirit:wireTypeDef>
+          </spirit:wireTypeDefs>
+        </spirit:wire>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>clk</spirit:name>
+        <spirit:wire>
+          <spirit:direction>in</spirit:direction>
+          <spirit:wireTypeDefs>
+            <spirit:wireTypeDef>
+              <spirit:typeName>sc_logic</spirit:typeName>
+              <spirit:typeDefinition>systemc.h</spirit:typeDefinition>
+              <spirit:viewNameRef>TLM_PV</spirit:viewNameRef>
+            </spirit:wireTypeDef>
+          </spirit:wireTypeDefs>
+        </spirit:wire>
+      </spirit:port>
+      <spirit:port>
+        <spirit:name>rst_an</spirit:name>
+        <spirit:wire>
+          <spirit:direction>in</spirit:direction>
+          <spirit:wireTypeDefs>
+            <spirit:wireTypeDef>
+              <spirit:typeName>bool</spirit:typeName>
+              <spirit:viewNameRef>TLM_PV</spirit:viewNameRef>
+            </spirit:wireTypeDef>
+          </spirit:wireTypeDefs>
+        </spirit:wire>
+      </spirit:port>
+    </spirit:ports>
+    <spirit:modelParameters>
+      <spirit:modelParameter spirit:dataType="string">
+        <spirit:name>code_file</spirit:name>
+        <spirit:value spirit:id="code_file" spirit:resolve="user" spirit:configGroups="requiredConfig" spirit:prompt="File to read commands from:">master.tbl</spirit:value>
+      </spirit:modelParameter>
+    </spirit:modelParameters>
+  </spirit:model>
+  <spirit:choices>
+    <spirit:choice>
+      <spirit:name>BaseAddressChoices</spirit:name>
+      <spirit:enumeration spirit:text="0x00000000">0x00000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x10000000">0x10000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x20000000">0x20000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x30000000">0x30000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x40000000">0x40000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x50000000">0x50000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x60000000">0x60000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x70000000">0x70000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x80000000">0x80000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0x90000000">0x90000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xa0000000">0xa0000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xb0000000">0xb0000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xc0000000">0xc0000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xd0000000">0xd0000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xe0000000">0xe0000000</spirit:enumeration>
+      <spirit:enumeration spirit:text="0xf0000000">0xf0000000</spirit:enumeration>
+    </spirit:choice>
+    <spirit:choice>
+      <spirit:name>RangeChoice</spirit:name>
+      <spirit:enumeration spirit:text="0">0</spirit:enumeration>
+      <spirit:enumeration spirit:text="128">128</spirit:enumeration>
+      <spirit:enumeration spirit:text="256">256</spirit:enumeration>
+      <spirit:enumeration spirit:text="1k">1024</spirit:enumeration>
+      <spirit:enumeration spirit:text="2k">2048</spirit:enumeration>
+      <spirit:enumeration spirit:text="4k">4096</spirit:enumeration>
+      <spirit:enumeration spirit:text="8k">8192</spirit:enumeration>
+      <spirit:enumeration spirit:text="16k">16384</spirit:enumeration>
+    </spirit:choice>
+  </spirit:choices>
+  <spirit:fileSets>
+    <spirit:fileSet>
+      <spirit:name>sourceCode</spirit:name>
+      <spirit:file>
+        <spirit:name>tlmsrc/processor.cc</spirit:name>
+        <spirit:fileType>systemCSource</spirit:fileType>
+        <spirit:dependency>tlmsrc</spirit:dependency>
+      </spirit:file>
+      <spirit:file>
+        <spirit:name>tlmsrc/processor.h</spirit:name>
+        <spirit:fileType>systemCSource</spirit:fileType>
+        <spirit:isIncludeFile spirit:externalDeclarations="true">true</spirit:isIncludeFile>
+        <spirit:logicalName>processor</spirit:logicalName>
+        <spirit:dependency>../../PV</spirit:dependency>
+      </spirit:file>
+      <spirit:file>
+        <spirit:name>../../PV/pv_slave_base.h</spirit:name>
+        <spirit:fileType>unknown</spirit:fileType>
+        <spirit:isIncludeFile>true</spirit:isIncludeFile>
+      </spirit:file>
+      <spirit:file>
+        <spirit:name>../../PV/pv_target_port.h</spirit:name>
+        <spirit:fileType>unknown</spirit:fileType>
+        <spirit:isIncludeFile>true</spirit:isIncludeFile>
+      </spirit:file>
+      <spirit:file>
+        <spirit:name>../../PV/pv_initiator_port.h</spirit:name>
+        <spirit:fileType>unknown</spirit:fileType>
+        <spirit:isIncludeFile>true</spirit:isIncludeFile>
+      </spirit:file>
+      <spirit:file>
+        <spirit:name>../../PV/user_types.h</spirit:name>
+        <spirit:fileType>unknown</spirit:fileType>
+        <spirit:isIncludeFile>true</spirit:isIncludeFile>
+      </spirit:file>
+    </spirit:fileSet>
+  </spirit:fileSets>
+  <spirit:cpus>
+    <spirit:cpu>
+      <spirit:name>processor</spirit:name>
+      <spirit:addressSpaceRef spirit:addressSpaceRef="main_AS"/>
+    </spirit:cpu>
+  </spirit:cpus>
+</spirit:component>