1151 search results - page 127 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
124
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
: A modern special-purpose processor (e.g., for image and graphical applications) usually contains a set of instructions supporting complex multiply-operations. These instructions ...
147
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
134
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Recent years have seen the rapid development of microsensor technology, system on chip design, wireless technology and ubiquitous computing. When assembled into a complex microsys...
133
click to vote
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
123
click to vote
WSC
2008
15 years 6 months ago
2008
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...