Fixed assertion of ap_done (#1076)

ap_done is now not asserted based on timeouts, rather only on memories_sent being asserted. Avoids confusing behavior where hardware seems to abort without a reason. At some point we may want to revert this to enable timeouts? Co-authored-by: Nathaniel Navarro <[email protected]>
calyxir · Jul 6, 2022 · 45f0dd5 · 45f0dd5
1 parent a155ae9
commit 45f0dd5
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/src/backend/xilinx/toplevel.rs b/src/backend/xilinx/toplevel.rs
@@ -245,13 +245,7 @@ fn top_level(
     // done signal
     module.add_stmt(v::Parallel::Assign(
         "ap_done".into(),
-        v::Expr::new_logical_or(
-            v::Expr::new_gt("counter", "timeout"),
-            v::Expr::new_eq(
-                "memories_sent",
-                v::Expr::new_ulit_bin(memories.len() as u32, "1"),
-            ),
-        ),
+        "memories_sent".into(),
     ));
 
     module