celox-frontend-core 0.4.1

Source-neutral symbolic frontend core for Celox
Documentation 
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
31
32

use celox_design::ModuleId;
use celox_sir::ExecutionUnit;
use celox_slt::{LogicPath, SLTNodeArena};

use crate::{HashMap, SourceAddr, SourceVarId, symbolic::artifact::SimModule};

type RegionedSourceAddr = celox_design::RegionedAbsoluteAddrBase<SourceVarId>;

/// Source-neutral symbolic module retained only when frontend tracing is enabled.
pub type TraceSimModule = SimModule;

/// Frontend-owned trace switches. Backend and optimizer trace options are
/// intentionally absent from this contract.
#[derive(Debug, Clone, Copy, Default)]
pub struct FrontendTraceOptions {
    pub phase_timing: bool,
    pub sim_modules: bool,
    pub pre_atomized_comb_blocks: bool,
    pub atomized_comb_blocks: bool,
    pub flattened_comb_blocks: bool,
    pub scheduled_units: bool,
}

/// Optional diagnostics produced while `SymbolicRtl` is consumed.
#[derive(Debug, Clone, Default)]
pub struct FrontendTrace {
    pub sim_modules: Option<HashMap<ModuleId, SimModule>>,
    pub pre_atomized_comb_blocks: Option<(Vec<LogicPath<SourceAddr>>, SLTNodeArena<SourceAddr>)>,
    pub atomized_comb_blocks: Option<(Vec<LogicPath<SourceAddr>>, SLTNodeArena<SourceAddr>)>,
    pub flattened_comb_blocks: Option<(Vec<LogicPath<SourceAddr>>, SLTNodeArena<SourceAddr>)>,
    pub scheduled_units: Option<Vec<ExecutionUnit<RegionedSourceAddr>>>,
}