2145 search results - page 306 / 429 » Architectural Specifications in CASL |
CHI
2007
ACM
14 years 11 months ago
2007
ACM
To date, efforts have been made to enable visually impaired people to gain access to graphics on the Internet. However, these studies only offer a solution for a specific type of ...
VLSID
2007
IEEE
14 years 11 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
VLSID
2007
IEEE
14 years 11 months ago
2007
IEEE
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
VLSID
2005
IEEE
14 years 11 months ago
2005
IEEE
In the streaming video processing domain, the only way to meet strict performance and quality requirements and yet to provide the area- and power-wise optimal platform is to apply...
VLSID
2003
IEEE
14 years 11 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...