222 search results - page 29 / 45 » Efficient assertion based verification using TLM |
ACL
2009
14 years 9 months ago
2009
This paper presents a new term extraction approach using relevance between term candidates calculated by a link analysis based method. Different types of relevance are used separa...
ASPDAC
2007
ACM
15 years 3 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
111
click to vote
DAC
2005
ACM
15 years 1 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
CMSB
2006
Springer
15 years 3 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
104
click to vote
ICB
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. State-of-the-art palmprint recognition algorithms achieve high accuracy based on component based texture analysis. However, they are still sensitive to local variations o...