The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...
—People within and outside the information visualization community are motivated to create new tools to address their own unique problems of understanding data. However, the tec...
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
As new software components become available for an existing system, we can evolve not only the system itself but also its requirements based on the new components. In this paper, ...
This paper summarises the author’s PhD research on the representation and control of time in tangible user interfaces. The aim of the research is to create a theoretical framewo...