Vitalsource Technologies, Inc. Digital Integrated Circuits: Design-for-Test Using Simulink and Stateflow