diff --git a/src_SSITH_P3/xilinx_ip/hdl/MakeResetA.v b/src_SSITH_P3/xilinx_ip/hdl/MakeResetA.v
new file mode 100644
index 0000000..42c075a
--- /dev/null
+++ b/src_SSITH_P3/xilinx_ip/hdl/MakeResetA.v
@@ -0,0 +1,92 @@
+
+// Copyright (c) 2000-2012 Bluespec, Inc.
+
+// Permission is hereby granted, free of charge, to any person obtaining a copy
+// of this software and associated documentation files (the "Software"), to deal
+// in the Software without restriction, including without limitation the rights
+// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+// copies of the Software, and to permit persons to whom the Software is
+// furnished to do so, subject to the following conditions:
+
+// The above copyright notice and this permission notice shall be included in
+// all copies or substantial portions of the Software.
+
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+// THE SOFTWARE.
+//
+// $Revision$
+// $Date$
+
+`ifdef BSV_ASSIGNMENT_DELAY
+`else
+  `define BSV_ASSIGNMENT_DELAY
+`endif
+
+`ifdef BSV_POSITIVE_RESET
+  `define BSV_RESET_VALUE 1'b1
+  `define BSV_RESET_EDGE posedge
+`else
+  `define BSV_RESET_VALUE 1'b0
+  `define BSV_RESET_EDGE negedge
+`endif
+
+
+
+module MakeResetA (
+		  CLK,
+		  RST,
+                  ASSERT_IN,
+		  ASSERT_OUT,
+
+                  DST_CLK,
+                  OUT_RST
+                  );
+
+   parameter          RSTDELAY = 2  ; // Width of reset shift reg
+   parameter          init = 1 ;
+
+   input              CLK ;
+   input              RST ;
+   input              ASSERT_IN ;
+   output             ASSERT_OUT ;
+
+   input              DST_CLK ;
+   output             OUT_RST ;
+
+   reg                rst ;
+   wire               OUT_RST ;
+
+   assign ASSERT_OUT =  rst == `BSV_RESET_VALUE ;
+
+   SyncResetA #(RSTDELAY) rstSync (.CLK(DST_CLK),
+				   .IN_RST(rst),
+				   .OUT_RST(OUT_RST));
+
+   always@(posedge CLK or `BSV_RESET_EDGE RST) begin
+      if (RST == `BSV_RESET_VALUE)
+        rst <= `BSV_ASSIGNMENT_DELAY init ? ~ `BSV_RESET_VALUE : `BSV_RESET_VALUE ;
+      else
+        begin
+           if (ASSERT_IN)
+             rst <= `BSV_ASSIGNMENT_DELAY `BSV_RESET_VALUE;
+           else // if (rst == 1'b0)
+             rst <= `BSV_ASSIGNMENT_DELAY ~ `BSV_RESET_VALUE;
+        end // else: !if(RST == `BSV_RESET_VALUE)
+   end // always@ (posedge CLK or `BSV_RESET_EDGE RST)
+
+`ifdef BSV_NO_INITIAL_BLOCKS
+`else // not BSV_NO_INITIAL_BLOCKS
+   // synopsys translate_off
+   initial begin
+      #0 ;
+      rst = ~ `BSV_RESET_VALUE ;
+   end
+   // synopsys translate_on
+`endif // BSV_NO_INITIAL_BLOCKS
+
+endmodule // MakeResetA
diff --git a/src_SSITH_P3/xilinx_ip/hdl/ResetEither.v b/src_SSITH_P3/xilinx_ip/hdl/ResetEither.v
new file mode 100644
index 0000000..14443ee
--- /dev/null
+++ b/src_SSITH_P3/xilinx_ip/hdl/ResetEither.v
@@ -0,0 +1,54 @@
+
+// Copyright (c) 2000-2009 Bluespec, Inc.
+
+// Permission is hereby granted, free of charge, to any person obtaining a copy
+// of this software and associated documentation files (the "Software"), to deal
+// in the Software without restriction, including without limitation the rights
+// to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+// copies of the Software, and to permit persons to whom the Software is
+// furnished to do so, subject to the following conditions:
+
+// The above copyright notice and this permission notice shall be included in
+// all copies or substantial portions of the Software.
+
+// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+// FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+// AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+// LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+// OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+// THE SOFTWARE.
+//
+// $Revision$
+// $Date$
+
+`ifdef BSV_ASSIGNMENT_DELAY
+`else
+`define BSV_ASSIGNMENT_DELAY
+`endif
+
+`ifdef BSV_POSITIVE_RESET
+  `define BSV_RESET_VALUE 1'b1
+  `define BSV_RESET_EDGE posedge
+`else
+  `define BSV_RESET_VALUE 1'b0
+  `define BSV_RESET_EDGE negedge
+`endif
+
+
+
+// A separate module which instantiates a simple reset combining primitive.
+// The primitive is simply an AND gate for negative resets,  an OR gate for positive resets.
+module ResetEither(A_RST,
+                   B_RST,
+                   RST_OUT
+                  ) ;
+
+   input            A_RST;
+   input            B_RST;
+
+   output           RST_OUT;
+
+   assign RST_OUT = ((A_RST == `BSV_RESET_VALUE) || (B_RST == `BSV_RESET_VALUE)) ? `BSV_RESET_VALUE : ~ `BSV_RESET_VALUE;
+
+endmodule