veryl-simulator 0.20.0

A modern hardware description language
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
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

//! Thread-local buffer for `$assert` / `$assert_continue` failures.
//!
//! Using a thread-local lets the combinational evaluation path record
//! failures without panicking.

use std::cell::RefCell;

#[derive(Default)]
struct State {
    fatal: Option<String>,
    continues: Vec<String>,
}

thread_local! {
    static STATE: RefCell<State> = const {
        RefCell::new(State {
            fatal: None,
            continues: Vec::new(),
        })
    };
}

pub fn reset() {
    STATE.with(|s| {
        let mut s = s.borrow_mut();
        s.fatal = None;
        s.continues.clear();
    });
}

pub fn record_fatal(msg: String) {
    STATE.with(|s| {
        let mut s = s.borrow_mut();
        if s.fatal.is_none() {
            s.fatal = Some(msg);
        }
    });
}

pub fn record_continue(msg: String) {
    STATE.with(|s| s.borrow_mut().continues.push(msg));
}

pub fn has_fatal() -> bool {
    STATE.with(|s| s.borrow().fatal.is_some())
}

pub fn take_failure() -> Option<String> {
    STATE.with(|s| {
        let mut s = s.borrow_mut();
        if let Some(msg) = s.fatal.take() {
            s.continues.clear();
            return Some(msg);
        }
        if s.continues.is_empty() {
            None
        } else {
            let msgs = std::mem::take(&mut s.continues);
            Some(msgs.join("\n"))
        }
    })
}