adding support for PWM.
[pinmux.git] / src / interface_decl.py
index 8c390dd3cfe8c62d04a0e262bd0972e4503693a4..df54caf6834862ddfcd544a01dd10ec6a011f345 100644 (file)
@@ -56,4 +56,16 @@ sdinterface_decl = '''
       (*always_ready,always_enabled*) method Action sd{0}_d3_outen (Bit#(1) in);
       (*always_ready,always_enabled*) method Bit#(1) sd{0}_d3_in;
 '''
+
+jtaginterface_decl = '''
+      (*always_ready,always_enabled*) method Bit#(1) jtag{0}_tdi;
+      (*always_ready,always_enabled*) method Bit#(1) jtag{0}_tms;
+      (*always_ready,always_enabled*) method Bit#(1) jtag{0}_tclk;
+      (*always_ready,always_enabled*) method Bit#(1) jtag{0}_trst;
+      (*always_ready,always_enabled*) method Action jtag{0}_tdo(Bit#(1) in);
+'''
+
+pwminterface_decl = '''
+      (*always_ready,always_enabled*) method Action pwm{0}(Bit#(1) in);
+'''
 # ======================================= #