writing VCD for combinatorial circuits works!

WIP adding VCD output
wire up simulator trace writing interface
2024-11-20 22:53:54 -08:00 · 2024-11-20 22:53:54 -08:00 · 2024-11-20 22:53:54 -08:00 · 2024-11-20 22:53:54 -08:00 · 2024-11-20 22:53:54 -08:00 · 2024-11-20 22:53:54 -08:00
1 changed files with 13 additions and 15 deletions
--- a/crates/fayalite/src/cli.rs
+++ b/crates/fayalite/src/cli.rs
@ -653,7 +653,6 @@ impl FormalArgs {
                self.sby.display()
            )))
        };
-        if do_cache {
        fs::write(
            cache_file,
            serde_json::to_string_pretty(&FormalCache {
@ -667,7 +666,6 @@ impl FormalArgs {
            })
            .expect("serialization shouldn't ever fail"),
        )?;
-        }
        result
    }
 }
Author	SHA1	Message	Date
Jacob Lifshay	11ddbc43c7	writing VCD for combinatorial circuits works! All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m46s Details / deps (pull_request) Successful in 13s Details / test (pull_request) Successful in 4m45s Details	2024-11-20 22:53:54 -08:00
Jacob Lifshay	c4b5d00419	WIP adding VCD output	2024-11-20 22:53:54 -08:00
Jacob Lifshay	09aa9fbc78	wire up simulator trace writing interface	2024-11-20 22:53:54 -08:00
Jacob Lifshay	288a6b71b9	WIP adding VCD output	2024-11-20 22:53:54 -08:00
Jacob Lifshay	0095570f19	simple combinatorial simulation works!	2024-11-20 22:53:54 -08:00
Jacob Lifshay	f54e55a143	Simulation::settle_step() works for simple modules	2024-11-20 22:53:54 -08:00
Jacob Lifshay	a6e40839ac	simulator WIP: use petgraph for topological sort over assignments	2024-11-20 22:53:54 -08:00
Jacob Lifshay	3106a6fff6	working on simulator...	2024-11-20 22:53:54 -08:00
Jacob Lifshay	f338f37d3e	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	277d3e0d4d	working on simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	b288d6f8f2	add missing copyright headers	2024-11-20 22:53:54 -08:00
Jacob Lifshay	479d59b287	WIP implementing simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	6f904148c4	WIP adding simulator	2024-11-20 22:53:54 -08:00
Jacob Lifshay	3ea0d98924	always write formal cache json All checks were successful / deps (push) Successful in 15s Details / test (push) Successful in 4m37s Details	2024-11-20 22:51:40 -08:00