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

use crate::dff::DFF;
use rust_hdl_core::prelude::*;

#[derive(Clone, Debug, LogicBlock, Default)]
pub struct AutoReset {
    pub reset: Signal<Out, Bit>,
    pub clock: Signal<In, Clock>,
    dff: DFF<Bits<8>>,
}

impl Logic for AutoReset {
    #[hdl_gen]
    fn update(&mut self) {
        self.dff.clock.next = self.clock.val();
        self.dff.d.next = self.dff.q.val();
        self.reset.next = false.into();
        if !self.dff.q.val().all() {
            self.dff.d.next = self.dff.q.val() + 1;
            self.reset.next = true.into();
        }
    }
}

#[test]
fn test_synch_reset_synchronizes() {
    let mut uut = AutoReset::default();
    uut.connect_all();
    yosys_validate("sync_reset", &generate_verilog(&uut)).unwrap();
}