import Vector :: *;
import FIFOF :: *;
+import GetPut :: *;
import SpecialFIFOs:: *;
import Connectable :: *;
import ConfigReg :: *;
-`include "defined_parameters.bsv"
+`include "instance_defines.bsv"
// ----------------
// BSV additional libs
import Semi_FIFOF :: *;
import AXI4_Types :: *;
-import Memory_AXI4 :: *;
+//import Memory_AXI4 :: *;
// ****************************************************************
// ****************************************************************
// The (*..*) attributes ensure that when bsc compiles this to Verilog,
// we get exactly the signals specified in the FlexBus spec.
+(* always_ready *)
interface FlexBus_Master_IFC;
// FlexBus External Signals
// AD inout bus separate for now in BSV
- (* always_ready, result="AD" *) method Bit #(32) m_AD; // out
+ interface Get#(Bit#(32)) AD; // out
+ interface Put#(Bit#(32)) din; // in
- //(* always_ready, always_enabled *) method Action m_din ((* port="din" *) Bit #(32) din); // in
- method Action m_din ((* port="din" *) Bit #(32) din); // in
+ interface Get#(Bit#(1)) R_Wn; // out
+ interface Get#(Bit#(2)) TSIZ; // out
- (* always_ready, result="R_Wn" *) method Bit #(1) m_R_Wn; // out
- (* always_ready, result="TSIZ" *) method Bit #(2) m_TSIZ; // out
+ interface Get#(Bit#(6)) FBCSn; // out
+ interface Get#(Bit#(4)) BWEn; // out
+ interface Get#(Bit#(1)) TBSTn; // out
+ interface Get#(Bit#(1)) OEn; // out
- (* always_ready, result="FBCSn" *) method Bit #(6) m_FBCSn; // out
- (* always_ready, result="BEn_BWEn" *) method Bit #(4) m_BE_BWEn; // out
- (* always_ready, result="TBSTn" *) method Bit #(1) m_TBSTn; // out
- (* always_ready, result="OEn" *) method Bit #(1) m_OEn; // out
-
- (* always_ready, result="ALE" *) method Bit #(1) m_ALE; // out
- //(* always_ready, always_enabled *) method Action m_TAn ((* port="TAn" *) Bit #(1) tAn); // in
- method Action m_TAn ((* port="TAn" *) Bit #(1) tAn); // in
+ interface Get#(Bit#(1)) ALE; // out
+ interface Put#(Bit#(1)) tAn; // in
endinterface: FlexBus_Master_IFC
interface FlexBus_Register_Output_IFC;
(* always_ready, always_enabled *) method Bit#(6) m_FBCSn();
(* always_ready, always_enabled *) method Bit#(6) m_SWS();
- (* always_ready, always_enabled *) method Bit#(1) m_SWS_EN();
+ (* always_ready, always_enabled *) method Bit#(1) m_SWS_EN();
(* always_ready, always_enabled *) method Bit#(2) m_ASET();
(* always_ready, always_enabled *) method Bit#(2) m_RDAH();
(* always_ready, always_enabled *) method Bit#(2) m_WRAH();
// These are the signal-level interfaces for an AXI4-Lite slave.
// The (*..*) attributes ensure that when bsc compiles this to Verilog,
// we get exactly the signals specified in the ARM spec.
-
interface FlexBus_Slave_IFC ;
- (* always_ready, always_enabled *) method Action m_AD ( (* port="AD" *) Bit #(32) i_AD); // in
-
-
- (* always_ready, always_enabled *) method Action m_ALE ( (* port="ALE" *) Bit #(1) i_ALE); // in
-
- (* always_ready, always_enabled *) method Action m_R_Wn ( (* port="R_Wn" *) Bit #(1) i_R_Wn); // in
- (* always_ready, always_enabled *) method Action m_TSIZ ( (* port="TSIZ" *) Bit #(2) i_TSIZ); // in
-
- (* always_ready, always_enabled *) method Action m_FBCSn ( (* port="FBCSn" *) Bit #(6) i_FBCSn); // in
- (* always_ready, always_enabled *) method Action m_BE_BWEn ( (* port="BE_BWEn" *) Bit #(4) i_BE_BWEn); // in
- (* always_ready, always_enabled *) method Action m_TBSTn ( (* port="TBSTn" *) Bit #(1) i_TBSTn); // in
- (* always_ready, always_enabled *) method Action m_OEn ( (* port="OEn" *) Bit #(1) i_OEn); // in
-
- (* always_ready, result="din" *) method Bit #(32) m_din; // out
- (* always_ready, result="TAn" *) method Bit #(1) m_TAn; // out
+/*
+ (* result="AD" *) interface Put#(Bit#(32)) m_AD; // out
+ interface Get#(Bit#(32) m_din; // in
+
+ (* result="R_Wn" *) interface Put#(Bit#(1)) m_R_Wn; // out
+ (* result="TSIZ" *) interface Put#(Bit #(2) m_TSIZ; // out
+
+ (* result="FBCSn" *) interface Put#(Bit#(6)) m_FBCSn; // out
+ (* result="BEn_BWEn" *) interface Put#(Bit#(4)) m_BE_BWEn; // out
+ (* result="TBSTn" *) interface Put#(Bit#(1)) m_TBSTn; // out
+ (* result="OEn" *) interface Put#(Bit#(1)) m_OEn; // out
+
+ (* result="ALE" *) interface Put#(Bit#(1)) m_ALE; // out
+ interface Get#(Bit#(1) tAn; // in
+*/
+
+ (* always_ready, always_enabled *)
+ method Action m_AD ( (* port="AD" *) Bit #(32) i_AD); // in
+
+
+ (* always_ready, always_enabled *)
+ method Action m_ALE ( (* port="ALE" *) Bit #(1) i_ALE); // in
+
+ (* always_ready, always_enabled *)
+ method Action m_R_Wn ( (* port="R_Wn" *) Bit #(1) i_R_Wn); // in
+ (* always_ready, always_enabled *)
+ method Action m_TSIZ ( (* port="TSIZ" *) Bit #(2) i_TSIZ); // in
+
+ (* always_ready, always_enabled *)
+ method Action m_FBCSn ( (* port="FBCSn" *) Bit #(6) i_FBCSn); // in
+ (* always_ready, always_enabled *)
+ method Action m_BE_BWEn( (* port="BE_BWEn" *) Bit #(4) i_BE_BWEn); // in
+ (* always_ready, always_enabled *)
+ method Action m_TBSTn ( (* port="TBSTn" *) Bit #(1) i_TBSTn); // in
+ (* always_ready, always_enabled *)
+ method Action m_OEn ( (* port="OEn" *) Bit #(1) i_OEn); // in
+
+ (* always_ready, result="din" *)
+ method Bit #(32) m_din; // out
+ (* always_ready, result="TAn" *)
+ method Bit #(1) m_TAn; // out
endinterface: FlexBus_Slave_IFC
// ================================================================
// Connecting signal-level interfaces
+`ifdef DISABLED_FOR_NOW // TODO. convert to get/put including slave ifc
instance Connectable #(FlexBus_Master_IFC ,
FlexBus_Slave_IFC );
endmodule
endinstance
+`endif
// ****************************************************************
// ****************************************************************
interface flexbus_side = interface FlexBus_Master_IFC;
//interface io_AD_master = tri_AD_out.io;
- method Action m_TAn (Bit #(1) tAn) if(c_TAn[0] matches tagged Invalid);
- c_TAn[0] <= tagged Valid tAn;
- endmethod
- method Action m_din ( Bit#(32) din )if(c_din[0] matches tagged Invalid);
- c_din[0] <= tagged Valid din;
- endmethod
- method Bit #(32) m_AD;
- return r_AD;
- endmethod
-
-
- method Bit #(1) m_R_Wn; // out
- return r_R_Wn;
- endmethod
- method Bit #(2) m_TSIZ; // out
- return r_TSIZ;
- endmethod
-
-
-
- method Bit #(6) m_FBCSn; // out
- return r_FBCSn;
- endmethod
- method Bit #(4) m_BE_BWEn; // out
- return r_BE_BWEn;
- endmethod
- method Bit #(1) m_TBSTn; // out
- return r_TBSTn;
- endmethod
- method Bit #(1) m_OEn; // out
- return r_OEn;
- endmethod
-
- method Bit #(1) m_ALE; // out
- return r_ALE;
- endmethod
- //endinterface;
+ interface tAn = interface Put
+ method Action put(Bit#(1) in) if(c_TAn[0] matches tagged Invalid);
+ c_TAn[0] <= tagged Valid in;
+ endmethod
+ endinterface;
- endinterface;
+ interface din = interface Put
+ method Action put(Bit#(32) in) if(c_din[0] matches tagged Invalid);
+ c_din[0] <= tagged Valid in;
+ endmethod
+ endinterface;
+
+ interface AD = interface Get
+ method ActionValue#(Bit#(32)) get;
+ return r_AD;
+ endmethod
+ endinterface;
+
+ interface R_Wn = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return r_R_Wn;
+ endmethod
+ endinterface;
+
+ interface TSIZ = interface Get
+ method ActionValue#(Bit#(2)) get;
+ return r_TSIZ;
+ endmethod
+ endinterface;
+
+ interface FBCSn = interface Get
+ method ActionValue#(Bit#(6)) get;
+ return r_FBCSn;
+ endmethod
+ endinterface;
+
+ interface BWEn = interface Get
+ method ActionValue#(Bit#(4)) get;
+ return r_BE_BWEn;
+ endmethod
+ endinterface;
+
+ interface TBSTn = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return r_TBSTn;
+ endmethod
+ endinterface;
+
+ interface OEn = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return r_OEn;
+ endmethod
+ endinterface;
+
+ interface ALE = interface Get
+ method ActionValue#(Bit#(1)) get;
+ return r_ALE;
+ endmethod
+ endinterface;
+
+ //endinterface;
+
+endinterface;
endmodule: mkAXI4_Slave_to_FlexBus_Master_Xactor
endmodule: mkFlexBus_Registers
+`ifdef TESTING
+module mkVerfn_Top (Empty);
+
+/*
+ FlexBus_Slave_to_AXI4_Master_Fabric_IFC#(32,32,4)
+ verfn_ifc <- mkFlexBus_Slave_to_AXI4_Master_Fabric;
+ AXI4_Slave_to_FlexBus_Master_Xactor_IFC#(32, 32, 4)
+ flexbus_xactor_ifc <- mkAXI4_Slave_to_FlexBus_Master_Xactor;
+
+ mkConnection(flexbus_xactor_ifc.flexbus_side,verfn_ifc.flexbus_side);
+*/
+
+ AXI4_Slave_to_FlexBus_Master_Xactor_IFC#(56, 64,10)
+ flexbus_xactor_ifc <- mkAXI4_Slave_to_FlexBus_Master_Xactor;
+
+endmodule
+`endif
endpackage