A SystemC-based framework for modeling and simulation of networked embedded systems
Fummi, F., Quaglia, D., Stefanni, F.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
A contract-based formalism for the specification of heterogeneous systems
Benvenuti, Luca, Ferrari, Alberto, Mangeruca, Leonardo, Mazzi, Emanuele, Passerone, Roberto, Sofronis, Christos
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Refining power consumption estimations in the component based AADL design flow
Senn, E., Laurent, J., Juin, E., Diguet, J.-P.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Model-based Design Space Exploration for RTES with SysML and MARTE
Mura, M., Murillo, L.G., Prevostini, M.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling
Damm, M., Grimm, C., Haas, J., Herrholz, A., Nebel, W.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Integrated requirement evaluation of non-functional system-on-chip properties
Viehl, A., Sander, B., Bringmann, O., Rosenstiel, W., Rosenstiel, W.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Contradiction analysis for constraint-based random simulation
Grosse, D., Wille, R., Siegmund, R., Drechsler, R.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Using SystemC for an extended MATLAB/Simulink verification flow
Hylla, K., Oetjens, J.-H., Nebel, W.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Modeling of custom-designed arithmetic components for ABL normalization
Pavlenko, E., Wedler, M., Stoffel, D., Kunz, W., Wienand, O., Karibaev, E.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
VEST - An intelligent tool for timing SoCs verification using UML timing diagrams
Pulka, A., Milik, A.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
A SYSTEMC language extension for high-level reconfiguration modelling
Raabe, A., Felke, A.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Towards compilation of streaming programs into FPGA hardware
Plavec, F., Vranesic, Z., Brown, S.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
A model driven development approach for implementing reactive systems in hardware
Zhonglei Wang, Herkersdorf, A., Merenda, S., Tautschnig, M.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
UML 2.0 interactions with OCL/RT constraints
Garcia, D.C., Cengarle, M.V., Szasz, N.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
VHDL-AMS implementation of a numerical ballistic CNT model for logic circuit simulation
Dafeng Zhou, Kazmierski, T.J., Al-Hashimi, B.M.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
A platform for requirement based formal specification
Pross, U., Markert, E., Langer, J., Richter, A., Drechsler, C., Heinkel, U.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Modelling Program-State Machines in SystemC
Gruttner, K., Nebel, W.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Application - platform performance modeling and evaluation
Kreku, J., Hoppari, M., Kestila, T., Yang Qu, Soininen, J.-P., Tiensyrja, K.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Efficient modelling and simulation of embedded software multi-tasking using SystemC and OSSS
Hartmann, P.A., Kleen, H., Reinkemeier, P., Nebel, W.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding
Using C# attributes to describe hardware artefacts within kiwi
Greaves, D., Singh, S.
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Published in 2008 Forum on Specification, Verification and Design Languages (01.09.2008)
Get full text
Conference Proceeding