1466 search results - page 58 / 294 » Efficient Simulation of Synthesis-Oriented System Level Desi... |
110
click to vote
JAR
2006
14 years 11 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
124
click to vote
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
WSC
1997
15 years 1 months ago
1997
A framework to design simulation models is described in order to perform activity-based costing for flexible manufacturing systems before actual manufacturing activities. For illu...
EURODAC
1994
IEEE
15 years 4 months ago
1994
IEEE
In the development of bus-based systems and individual PCB boards interfacing to a bus, the simulation usually requires a specific test bench or creation of quite complex stimuli....
117
click to vote
IWCMC
2006
ACM
15 years 5 months ago
2006
ACM
Due to the growing interest in mobile wireless Ad-Hoc networks’ (MANETs) applications, researchers have proposed many routing protocols that differ in their objective. Energy ef...