137
Voted
FDL
15 years 10 months ago
2008 IEEE 
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
94
Voted
FDL
15 years 10 months ago
2008 IEEE  131
Voted
FDL
15 years 10 months ago
2008 IEEE 
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
123
Voted
FDL
15 years 5 months ago
2008 IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
123
Voted
FDL
15 years 10 months ago
2008 IEEE 
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
|
Natural Language Processing