Sciweavers

819 search results - page 27 / 164
» A Technique for Combined Virtual Prototyping and Hardware De...
Sort
View
ICCAD
1998
IEEE
66views Hardware» more  ICCAD 1998»
14 years 12 days ago
Tight integration of combinational verification methods
Combinational verification is an important piece of most equivalence checking tools. In the recent past, many combinational verification algorithms have appeared in the literature...
Jerry R. Burch, Vigyan Singhal
MHCI
2005
Springer
14 years 1 months ago
Navigation control for mobile virtual environments
In this paper, we describe a project which uses PDAs to provide an interactive experience with a virtual environment. In particular, we focus on the navigational aspects of allowi...
Gary Marsden, Nicholas Tip
DSD
2004
IEEE
129views Hardware» more  DSD 2004»
13 years 12 months ago
Functional Validation of Programmable Architectures
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
Prabhat Mishra, Nikil D. Dutt
ISCAS
2007
IEEE
112views Hardware» more  ISCAS 2007»
14 years 2 months ago
A New Statistical Approach for Glitch Estimation in Combinational Circuits
— Low-power consumption has become a highly important concern for synchronous standard-cell design, and consequently mandates the use of low-power design methodologies and techni...
Ahmed Sayed, Hussain Al-Asaad
VR
2011
IEEE
309views Virtual Reality» more  VR 2011»
12 years 12 months ago
Two-handed tangible interaction techniques for composing augmented blocks
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...
Hyeongmook Lee, Mark Billinghurst, Woontack Woo