fix quart rules

diff --git a/src/peripherals/uart/quart.bsv b/src/peripherals/uart/quart.bsv
index 2dc6c7ee50e260e9c97dc766bb2b67210a41c4df..392dcddff25d23d171868e3473e9de663a354868 100644 (file)
--- a/src/peripherals/uart/quart.bsv
+++ b/src/peripherals/uart/quart.bsv
@@ -59,18 +59,19 @@ package quart;
     //uart.pin_dsr_sync <= in; 
     //uart.pin_ri_sync  <= in; 
     //uart.pin_dcd_sync <= in; 
+       rule rl_put;
     Bit#(1) v1 = 1;
     Bit#(1) v0 = 1;
-    let dsr_in = uart.coe_rs232.dsr_in.put;
-    dsr_in = v1;
-    let dcd_in = uart.coe_rs232.dcd_in.put;
-    dcd_in = v1;
-    let ri_in = uart.coe_rs232.ri_in.put;
-    ri_in = v0;
-
+    uart.coe_rs232.dsr_in.put(1);
+    
+    uart.coe_rs232.dcd_in.put(1);
+    uart.coe_rs232.ri_in.put(0);
+       endrule
+    
+
+       rule rl_get;
     let temp2 <- uart.coe_rs232.dtr_out.get;
-    Bit#(1) temp = temp2;
-    uart.coe_rs232.dtr_out.get(temp);
+       endrule
 
     interface out = interface QUART_out
         interface srx_in = interface Put