Properties Incompleteness Evaluation by Functional Verification von Fedeli, A., Fummi, F., Pravadelli, G.

Volltext

Automatic Abstraction of RTL IPs into Equivalent TLM Descriptions von Bombieri, N., Fummi, F., Pravadelli, G.

Volltext

UNIVERCM: The UNIversal VERsatile Computational Model for Heterogeneous System Integration von Di Guglielmo, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.

Volltext

Identification of design errors through functional testing von Ferrandi, F., Fummi, F., Pravadelli, G., Sciuto, D.

Volltext

Logic-level mapping of high-level faults von Fummi, F., Marconcini, C., Pravadelli, G.

Volltext

AMLETO: a multi-language environment for functional test generation von Fin, A., Fummi, F., Pravadelli, G.

Volltext

Functional verification based on the EFSM model von Fummi, F., Marconcini, C., Pravadelli, G.

Volltext

A Mutation Model for the SystemC TLM 2.0 Communication Interfaces von Bombieri, N., Fummi, F., Pravadelli, G.

Volltext

An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems von Borgatti, M., Capello, A., Rossi, U., Lambert, J.-L., Moussa, I., Fummi, F., Pravadelli, G.

Volltext

At-speed functional verification of programmable devices von Bombieri, N., Fummi, F., Pravadelli, G.

Volltext

Redundant functional faults reduction by saboteurs synthesis [logic verification] von Fummi, F., Marconcini, C., Pravadelli, G.

Volltext bestellen

The strange pair: IP-XACT and univerCM to integrate heterogeneous embedded systems von Braga, D., Fummi, F., Pravadelli, G., Vinco, S.

Volltext

Functional qualification of TLM verification von Bombieri, N., Fummi, F., Pravadelli, G., Hampton, M., Letombe, F.

Volltext

Time-Constraint-Aware Optimization of Assertions in Embedded Software von Izosimov, Viacheslav, Di Guglielmo, Giuseppe, Lora, Michele, Pravadelli, Graziano, Fummi, Franco, Peng, Zebo, Fujita, Masahiro

Volltext

Enabling dynamic assertion-based verification of embedded software through model-driven design von Di Guglielmo, G., Di Guglielmo, L., Fummi, F., Pravadelli, G.

Volltext

Accurate profiling of oracles for self-checking time-constrained embedded software von Bronuzzi, S., Di Guglielmo, G., Fummi, F., Pravadelli, G.

Volltext

Interactive presentation abstract: Reusing of properties after discretization of hybrid automata von Di Guglielmo, L., Fummi, F., Pravadelli, G.

Volltext

Incremental ABV for Functional Validation of TL-to-RTL Design Refinement von Bombieri, N., Fummi, F., Pravadelli, G.

Volltext

Correct-by-construction generation of device drivers based on RTL testbenches von Bombieri, N., Fummi, F., Pravadelli, G., Vinco, S.

Volltext

UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design von Di Guglielm, L., Fummi, F., Pravadelli, G., Stefanni, F., Vinco, S.

Volltext