Learn More
To model complex embedded systems at a high level of abstraction, existing languages usually stress the specification of functionality. Our experience with industrial strength designs, however, shows that structure and timing must be considered from the beginning, and refined concurrently with functionality. We present a C++ library for the modeling of(More)
1Nomadic Embedded Systems (NES), Interuniversity Micro Electronics Centre (IMEC), Kapeldreef 75, 3001 Leuven, Belgium 2NXP Research, Systems and Circuits, Prof. Holstlaan 4, 5656 AE Eindhoven, The Netherlands 3Department of Electrical Engineering, Katholieke Universiteit Leuven (KU-Leuven), 3001 Leuven, Belgium 4Department of Electrical Engineering, Vrije(More)
  • Johan Cockx
  • IEEE International Workshop on Rapid System…
  • 2000
A virtual prototype combines a hardware model with hardware/software cosimulation to support the development and debugging of embedded software before a hardware prototype is available. Existing techniques for hardware/software cosimulation execute the software either on an instruction set simulator for accuracy, or on the simulator host processor for(More)
Applications that are based on indoor location awareness have different requirements with regard to the accuracy of the estimated positions, the measurement cycle time, and the (end-to-end) delay between the start of a measurement and the availability of the position result. Moreover, the energy consumption of the mobile tags is a key parameter for the(More)
The Segmented Waveform Relaxation Method (SWRM) is a new and efficient waveform relaxation method for circuit-level simulation of large-scale digital MOS networks. SWRM is original in two aspects. 1) Dynamic feedback loop cutting and waveform event driven scheduling result in a varying simulation order of the subcircuits and, for digital synchronous(More)
This paper describes the SPI Interface as an interface unifying the integration of electronic CAD tools. The goal of the interface is to provide a <i>direct communication</i> and <i>interactive feedback</i> between the primary design tools (schematics editors, symbolic layout editors, module generators etc.) and intelligent verification tools (electrical(More)
  • 1