fix Hasti and Smi converters

junctions/src/main/scala/hasti.scala

@@ -403,7 +403,11 @@ class HastiMasterIONastiIOConverter(implicit p: Parameters) extends HastiModule(
     last = (len === UInt(0)))
 
   assert(!r_queue.io.enq.valid || r_queue.io.enq.ready,
-    "HASTI -> NASTI converter queue overflow")
+    "NASTI -> HASTI converter queue overflow")
+
+  val next_count = r_queue.io.count +
+                    r_queue.io.enq.valid -
+                    r_queue.io.deq.ready
 
   io.hasti.haddr := addr
   io.hasti.hsize := size
@@ -418,7 +422,7 @@ class HastiMasterIONastiIOConverter(implicit p: Parameters) extends HastiModule(
       Mux(first, HTRANS_IDLE, HTRANS_BUSY)),
     s_read -> MuxCase(HTRANS_BUSY, Seq(
       first -> HTRANS_NONSEQ,
-      (r_queue.io.count <= UInt(1)) -> HTRANS_SEQ))))
+      (next_count <= UInt(1)) -> HTRANS_SEQ))))
 
   when (io.nasti.aw.fire()) {
     first := Bool(true)