Digital integrated circuits : design-for-test using Simulink and Stateflow /: design-for-test using Simulink and Stateflow. (2018)