1151 search results - page 49 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
127
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
126
Voted
ANCS
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a hardware architecture for highly efficient intrusion detection systems. In addition, a software tool for automatically generating the hardware is presented....
115
click to vote
ICCAD
2007
IEEE
16 years 22 days ago
2007
IEEE
Constrained random simulation is the main workhorse in today’s hardware verification flows. It requires the random generation of input stimuli that obey a set of declaratively...
114
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
120
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-driven development depends on good initial models. Creating these models by hand is a challenging task, because of complex specification documents and change requests. We p...