114 search results - page 12 / 23 » Verification by Simulation Comparison using Interface Synthe... |
ISVC
2010
Springer
13 years 6 months ago
2010
Springer
Physically-based image synthesis requires measured spectral quantities for illuminants and reflectances as part of the virtual scene description to compute trustworthy lighting si...
DAC
2005
ACM
14 years 9 months ago
2005
ACM
An efficient approach to full-wave impedance extraction is developed that accounts for substrate effects through the use of two-layer media Green's functions in a mixed-poten...
GLVLSI
2008
IEEE
13 years 8 months ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
LCTRTS
1999
Springer
14 years 6 days ago
1999
Springer
We present a design tool for automated synthesis of embedded systems on distributed COTS-based platforms. Our synthesis tool consists of (1) a graphical user interface for input o...
TACAS
1998
Springer
14 years 4 days ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...