13043 search results - page 182 / 2609 » Simulation of the research process |
129
click to vote
DATE
1998
IEEE
15 years 9 months ago
1998
IEEE
One of the main tasks within the high-level synthesis (HLS) process is the verification problem to prove automatically the correctness of the synthesis results. Currently, the res...
148
click to vote
ICCD
1995
IEEE
15 years 8 months ago
1995
IEEE
– This paper describes a new technique for extracting clock-level finite state machines(FSMs) from transistor netlists using symbolic simulation. The transistor netlist is prepr...
236
click to vote
CCECE
2011
IEEE
14 years 4 months ago
2011
IEEE
Models for the local anodic oxidation of silicon using scanning tunneling microscopy and non-contact atomic force microscopy are implemented in a generic process simulator, using ...
135
Voted
ICSP
1993
15 years 6 months ago
1993
Much contemporary development process research is based on analyses of process steps, their duration, and the events they propagate. Our initial research in large, mature telecomm...
113
click to vote
WSC
2008
15 years 7 months ago
2008
The what-if analysis process is essential in symbiotic simulation systems. It is responsible for creating a number of alternative what-if scenarios and evaluating their performanc...