Research Article
Formal Modeling and Verification for MVB
Table 3
Places and their descriptions in the top module.
| | Place ID | Description |
| | SR1 | Address of BusAdmin1, default 0 | | SR2 | Address of BusAdmin2, default 1 | | InB1 | Input buffer of BusAdmin1 | | InB2 | Input buffer of BusAdmin2 | | OutB1 | Output buffer of BusAdmin1 | | OutB2 | Output buffer of BusAdmin2 |
|
|
