10159 search results - page 310 / 2032 » System Design Validation Using Formal Models |
142
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
122
click to vote
VLSID
2003
IEEE
16 years 4 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...
114
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— For the design of an automated transportation system in an actual seaport container terminal, it is necessary to take into consideration the maintenance of operating robots (AG...
118
Voted
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
194
Voted
MJ
2011
14 years 10 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...