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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127

#![allow(non_camel_case_types)]

#[derive(Clone, Debug)]
pub enum SignalType {
    LowVoltageCMOS_1v8,
    LowVoltageCMOS_3v3,
    StubSeriesTerminatedLogic_II,
    DifferentialStubSeriesTerminatedLogic_II,
    StubSeriesTerminatedLogic_II_No_Termination,
    DifferentialStubSeriesTerminatedLogic_II_No_Termination,
    LowVoltageDifferentialSignal_2v5,
    StubSeriesTerminatedLogic_1v5,
    LowVoltageCMOS_1v5,
    DifferentialStubSeriesTerminatedLogic_1v5,
    Custom(String),
}

#[derive(Clone, Debug)]
pub struct PeriodicTiming {
    pub net: String,
    pub period_nanoseconds: f64,
    pub duty_cycle: f64,
}

#[derive(Clone, Copy, Debug)]
pub enum TimingRelative {
    Before,
    After,
}

impl ToString for TimingRelative {
    fn to_string(&self) -> String {
        match self {
            TimingRelative::Before => "BEFORE",
            TimingRelative::After => "AFTER",
        }
        .into()
    }
}

#[derive(Clone, Debug)]
pub struct FalsePathRegexp {
    pub from_regexp: String,
    pub to_regexp: String,
}

#[derive(Clone, Copy, Debug)]
pub enum TimingRelativeEdge {
    Rising,
    Falling,
}

impl ToString for TimingRelativeEdge {
    fn to_string(&self) -> String {
        match self {
            TimingRelativeEdge::Falling => "FALLING",
            TimingRelativeEdge::Rising => "RISING",
        }
        .into()
    }
}

#[derive(Clone, Debug)]
pub struct VivadoInputTimingConstraint {
    pub min_nanoseconds: f64,
    pub max_nanoseconds: f64,
    pub multicycle: usize,
    pub clock: String,
}

#[derive(Clone, Debug)]
pub struct VivadoOutputTimingConstraint {
    pub delay_nanoseconds: f64,
    pub clock: String,
}

#[derive(Clone, Copy, Debug)]
pub struct InputTimingConstraint {
    pub offset_nanoseconds: f64,
    pub valid_duration_nanoseconds: f64,
    pub relative: TimingRelative,
    pub edge_sense: TimingRelativeEdge,
    pub to_signal_id: usize,
    pub to_signal_bit: Option<usize>,
}

#[derive(Clone, Copy, Debug)]
pub struct OutputTimingConstraint {
    pub offset_nanoseconds: f64,
    pub relative: TimingRelative,
    pub edge_sense: TimingRelativeEdge,
    pub to_signal_id: usize,
    pub to_signal_bit: Option<usize>,
}

#[derive(Clone, Debug)]
pub enum Timing {
    Periodic(PeriodicTiming),
    InputTiming(InputTimingConstraint),
    OutputTiming(OutputTimingConstraint),
    VivadoInputTiming(VivadoInputTimingConstraint),
    VivadoOutputTiming(VivadoOutputTimingConstraint),
    VivadoClockGroup(Vec<Vec<String>>),
    VivadoFalsePath(FalsePathRegexp),
    Custom(String),
}

#[derive(Clone, Debug)]
pub enum Constraint {
    Location(String),
    Kind(SignalType),
    Timing(Timing),
    Custom(String),
    Slew(SlewType),
}

#[derive(Clone, Debug)]
pub enum SlewType {
    Normal,
    Fast,
}

#[derive(Clone, Debug)]
pub struct PinConstraint {
    pub index: usize,
    pub constraint: Constraint,
}