The growing complexity and higher time-to-market pressure make the functional verification of modern large scale hardware systems more challenging. These challenges bring the requirement of a high quality testbench that is capable of thoroughly verifying the design. To reveal a bug, the testbench needs to activate it by stimulus, propagate the erroneous behaviors to some checked points, and detect it at these checked points by checkers. However, current dominant verification approaches focus only on the activation aspect using a coverage model which is not qualified and ignore the propagation and detection aspects. Using a new metric, this paper qualifies the testbench by mutation analysis technique with the consideration of the quality of the stimulus, the coverage model, and the checkers. Then the testbench is iteratively refined according to the qualification feedback. We have conducted experiments on two designs of different scales to demonstrate the effectiveness of the proposed method in improving the quality of the testbench.

In this paper, we discuss a novel approach to multimodal input design in Tangible User Interface (TUI). We present a prototype Bubble Journey, a game platform where users control the avatar in flash game by blowing a real handle. This computer game was combined multimodal input tool embedded sensor, which augment experience of user’s (children’s) five senses and body into game’s digital world with previous experience in daily life. Sensor embodied in multimodal input tool can convert data of sounds and movements produced by users (children) into digital signals to manipulate the virtual characters’ performance in the game.

This paper analyzed the core characteristics of Chinese farmers using digital content service based on persona building method, which involved quantitative research, persona hypothesis, quantitative research and persona building. Common Goals are concluded and 4 groups of design concepts are developed later in this paper, based on the demand of 6 built personas.