Design and Verification of Hardware Building Blocks for High-Speed and Fault-Tolerant In-Vehicle Networks