Sciweavers

25 search results - page 3 / 5
» fdl 2005
Sort
View
FDL
2005
IEEE
14 years 2 months ago
A VHDL-AMS based Time-Domain Skin Depth Model
This contribution presents a time-domain model of the skin depth effect in a lossy transmission line. The model was developed and implemented in VHDL-AMS for a twowire edge coupl...
M. Burford, Tom J. Kazmierski
FDL
2005
IEEE
14 years 2 months ago
PSL-based online monitoring of digital systems
We present an original method for generating monitors that capture the occurrence of events, specified by logical and temporal properties under the form of assertions in declarati...
D. Borionne, M. Liu, P. Ostier, Laurent Fesquet
FDL
2005
IEEE
14 years 2 months ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
FDL
2005
IEEE
14 years 2 months ago
Automatic synthesis of the Hardware/Software Interface
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
Francesco Regazzoni, André C. Nácul,...
FDL
2005
IEEE
14 years 2 months ago
System model of an inertial navigation system using SystemC-AMS
This paper presents an approach for modeling an inertial navigation system. This system consists of a 3D acceleration and rotation sensor array, analog and digital error correctio...
Erik Markert, Göran Herrmann, Dietmar Mü...