774 search results - page 80 / 155 » Experiences of low power design implementation and verificat... |
ASPDAC
1998
ACM
14 years 26 days ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
DPHOTO
2010
13 years 10 months ago
2010
The high level context image analysis regards many fields as face recognition, smile detection, automatic red eye removal, iris recognition, fingerprint verification, etc. Techniq...
ICCAD
2003
IEEE
14 years 2 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
- A five-fingered robot hand having almost an equal number of DOF to the human hand is developed. The robot hand is driven by a unique method using ultrasonic motors and elastic el...