Sciweavers

12050 search results - page 146 / 2410
» Modeling and Simulation
Sort
View
ICCAD
2001
IEEE
104views Hardware» more  ICCAD 2001»
16 years 4 days ago
A Symbolic Simulation-Based Methodology for Generating Black-Box Timing Models of Custom Macrocells
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
Clayton B. McDonald, Randal E. Bryant
PRESENCE
2008
110views more  PRESENCE 2008»
15 years 3 months ago
Modeling of Tool-Tissue Interactions for Computer-Based Surgical Simulation: A Literature Review
Surgical simulators present a safe and potentially effective method for surgical training, and can also be used in robot-assisted surgery for pre- and intra-operative planning. Ac...
Sarthak Misra, K. T. Ramesh, Allison M. Okamura
WSC
2008
15 years 5 months ago
A flexible and scalable experimentation layer
Modeling and simulation frameworks for use in different application domains, throughout the complete development process, and in different hardware environments need to be highly ...
Jan Himmelspach, Roland Ewald, Adelinde M. Uhrmach...
ICCAD
1996
IEEE
106views Hardware» more  ICCAD 1996»
15 years 7 months ago
A general dispersive multiconductor transmission line model for interconnect simulation in SPICE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...
Mustafa Celik, Andreas C. Cangellaris
138
Voted
EMSOFT
2008
Springer
15 years 5 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...