DAC
2002
ACM
15 years 15 days ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
For present-day micro-electronic designs, it is becoming ever more important to accurately model substrate coupling effects. Basically, either a Finite Element Method (FEM) or a B...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
This contribution describes the design and performance testing of an Advanced Encryption Standard (AES) compliant encryption chip that delivers 2.29 GB/s of encryption throughput ...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
DAC
2002
ACM
15 years 15 days ago
2002
ACM
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
The next generation of computer chips will continue the trend for more complexity than their predecessors. Many of them will contain different chip technologies and are termed SoC...
DAC
2002
ACM
15 years 15 days ago
2002
ACM
Textiles and computing share a synergistic relationship, which is being harnessed to create a new paradigm in personalized mobile information processing (PMIP). In this paper, we ...