819 search results - page 91 / 164 » A Technique for Combined Virtual Prototyping and Hardware De... |
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
In current Field-Programmable-Logic Architecture (FPGA) design flows, it is very hard to control the routing of submodules. It is thus very hard to make an identical copy of an ex...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
CAV
2008
Springer
13 years 10 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
IV
2009
IEEE
14 years 2 months ago
2009
IEEE
The MOST bus is a current bus technology for connecting multimedia components in cars, such as radios, navigation systems, or media players. The bus functionality is described in ...
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
This paper presents the design, implementation, and lessons learned from developing a multi-surface VR visualization environment. The environment combines a head-tracked vertical V...