788 search results - page 64 / 158 » Design and use of a system-level specification and verificat... |
120
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
— In this paper we consider the problem of finding a smaller RLCM circuit that approximately replicates the behavior (up to a certain frequency) of a given RLCM circuit. Targeted...
167
click to vote
ENTCS
2008
15 years 5 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
163
click to vote
DAC
2002
ACM
16 years 7 months 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...
164
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
- In this paper, we present a design methodology for automatic platform generation of future heterogeneous systems where communication happens via the Network-onChip (NoC) approach...
148
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...