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 |
|
|