rustdv-methodology 0.2.0

The verification methodology layer: component lifecycle and phases, ConfigDb, factory, objections, channels, analysis broadcast, TLM FIFOs, and the sequencer handshake (design-doc §5).
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

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "rustdv-gpi"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c9065f70f05788b9a2d60e9e47d882fe8d6b51986f3722b491590d0eda4935a1"
dependencies = [
 "rustdv-gpi-sys",
]

[[package]]
name = "rustdv-gpi-sys"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "b00cd5e30d1f97188c03b042f8eacd1f4ec8e0777f1e7cd8969af4f6f8cb06c9"

[[package]]
name = "rustdv-methodology"
version = "0.2.0"
dependencies = [
 "rustdv-sim",
 "rustdv-vpi-stubs",
]

[[package]]
name = "rustdv-sim"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0d8ded06a0b7b92a73887859d814255362c2d593f9f5516b39b6eb22909cff2d"
dependencies = [
 "rustdv-gpi",
]

[[package]]
name = "rustdv-vpi-stubs"
version = "0.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f3cff60aa51f1285a42bbe53c6635d2d09adf7f981f9a4cedc77f38db9af6a4d"
dependencies = [
 "rustdv-gpi-sys",
]