Modeling TTEthernet Startup Service in SystemC for Verifying Fault-Tolerant Protocol under Fail-Omission Scenarios.

Jing Li, Qiao Li, Xueqian Tang

Browse the full Tencon paper archive.