1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
use crate::docs::vcd2svg::display_metrics::DisplayMetrics;
use crate::docs::vcd2svg::trace_collection::TraceCollection;
use crate::docs::vcd2svg::vcd_style::VCDStyle;
pub mod display_metrics;
mod interval;
mod renderable;
mod time_view;
mod timed_value;
pub mod trace_collection;
mod utils;
pub mod vcd_style;
pub fn vcd_to_svg(
vcd_filename: &str,
svg_filename: &str,
signal_names: &[&str],
min_time_in_ps: u64,
max_time_in_ps: u64,
) -> anyhow::Result<()> {
let vcd = std::fs::File::open(vcd_filename)?;
let traces = TraceCollection::parse(signal_names, vcd)?;
let mut metrics = DisplayMetrics::default();
metrics.style = VCDStyle::gtkwave();
metrics.min_time = min_time_in_ps;
metrics.max_time = max_time_in_ps;
let document = traces.as_svg(&metrics)?;
svg::save(svg_filename, &document)?;
Ok(())
}