378 search results - page 1 / 76 » Information Flow Analysis for VHDL |
PACT
2005
Springer
13 years 10 months ago
2005
Springer
We describe a fragment of the hardware description language VHDL that is suitable for implementing the Advanced Encryption Standard algorithm. We then define an Information Flow a...
JISE
1998
13 years 4 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
—Variations of process parameters have an important impact on reliability and yield in deep sub micron IC technologies. One methodology to estimate the influence of these effects...
EURODAC
1994
IEEE
13 years 9 months ago
1994
IEEE
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
ICIP
2009
IEEE
14 years 6 months ago
2009
IEEE
This paper describes methods for extracting traffic flow information from urban traffic scenes. The ultimate goal is to collect a macroscopic view of traffic flow information in a...