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