Testability in hardware / software codesign systems by