3856 search results - page 517 / 772 » Models for Automated Earthmoving |
183
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
172
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Communication-based design represents a formal approach to systemon-a-chip design that considers communication between components as important as the computations they perform. Ou...
244
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
183
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...
181
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
In the way they cope with variability, present-day methodologies are onerous, pessimistic and risky, all at the same time! Dealing with variability is an increasingly important as...