219 search results - page 3 / 44 » Using Statistical and Symbolic Simulation for Microprocessor... |
CODES
1996
IEEE
13 years 10 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
GECCO
2008
Springer
13 years 7 months ago
2008
Springer
Symbolic regression is a popular genetic programming (GP) application. Typically, the fitness function for this task is based on a sum-of-errors, involving the values of the depe...
FMCAD
2009
Springer
14 years 18 days ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
ICC
2009
IEEE
14 years 24 days ago
2009
IEEE
—We present a detection scheme for multiple-symbol DPSK for use in a statistically unknown time-varying channel. The scheme relies on a parametric representation of the timevaryi...
ICCD
2004
IEEE
14 years 3 months ago
2004
IEEE
Formal and dynamic (simulation, emulation, etc.) verification techniques are both needed to deal with the overall challenge of verification. Ideally, the same specification/tes...