1151 search results - page 26 / 231 » Automatic Generation of Complex Properties for Hardware Desi... |
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—This paper presents a technique to perform arbitrary fixed permutations on streaming data. We describe a parameterized architecture that takes as input n data points st...
ITC
1992
IEEE
13 years 11 months ago
1992
IEEE
In this paper we report an automatic test pattern generator that can handle designs with one million gates or more on medium size workstations. Run times and success rates, i.e. t...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
AINA
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we present a tool allowing the design of orchestration at a high level of abstraction. This tool also allows specifying security properties, also in an way, as anno...
FPL
2009
Springer
14 years 6 days ago
2009
Springer
Reconfigurable computing systems remain difficult to use and program. One way to increase design productivity for these systems is through reuse of previously developed and veri...