1151 search results - page 49 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
152
click to vote
DATE
2010
IEEE
15 years 11 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...
153
click to vote
ANCS
2005
ACM
15 years 11 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....
139
click to vote
ICCAD
2007
IEEE
16 years 2 months 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...
146
click to vote
KBSE
2008
IEEE
16 years 11 days 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...
146
click to vote
SEMCO
2007
IEEE
16 years 8 days 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...