Sciweavers

2 search results - page 1 / 1
» Timed Weak Simulation Verification and Its Application to St...
Sort
View
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
13 years 9 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez