rustdv-methodology 0.1.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

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

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

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

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

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

[[package]]
name = "rustdv-vpi-stubs"
version = "0.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0264d37954fefa5028957dbe3faadd274b8490ff107d026c6dac8293cad708d9"