Simulation was run with one value of the “sel” signal used, which exercised the output. The property passed in simulation and was proven in formal. The coverage for both is shown below in Figure 3.

Mechanical control systems (staplers, car windows) use parts for movement/force control. They include input, process, and output. Types of motion: linear, rotary, reciprocating, oscillating.