242 search results - page 9 / 49 » Verification via Structure Simulation |
DAC
2004
ACM
14 years 11 months ago
2004
ACM
The increasing complexity of today's mixed-signal integrated circuits necessitates both top-down and bottom-up system-level verification. Time-domain state-space modeling and...
WSC
2007
14 years 7 days ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
WSCG
2003
13 years 11 months ago
2003
In this paper, a recursive algorithm that can build complex tree structure quickly is presented briefly. The plant structural growth is based on a dual-scale automaton, in which â...
WSC
2000
13 years 11 months ago
2000
The purpose of this paper is to introduce a new approach to teaching an introductory simulation course using an interactive CD-ROM titled "Simply Simulation". This metho...
DAC
2002
ACM
14 years 11 months 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...