Test generation and testability alternatives exploration of critical algorithms for embedded applications by Ferrandi, F., Fummi, F., Sciuto, D.

Get full text

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

Get full text

Semiconcurrent error detection in data paths by Antola, A., Ferrandi, F., Piuri, V., Sami, M.

Get full text

Functional verification for SystemC descriptions using constraint solving by Ferrandi, F., Rendine, M., Sciuto, D.

Request full text

An efficient heuristic approach to solve the unate covering problem by Cordone, R., Ferrandi, F., Sciuto, D., Calvo, R.W.

Get full text

Implicit test generation for behavioral VHDL models by Ferrandi, F., Fummi, F., Sciuto, D.

Request full text

Symbolic optimization of interacting controllers based on redundancy identification and removal by Ferrandi, F., Fummi, F., Macii, E., Poncino, M., Sciuto, D.

Get full text

Synthesis of complex control structures from behavioral SystemC models by Bruschi, F., Ferrandi, F.

Request full text

HArtes: Hardware-Software Codesign for Heterogeneous Multicore Platforms by Bertels, K, Sima, Vlad-Mihai, Yankova, Y, Kuzmanov, G, Luk, W, Coutinho, G, Ferrandi, F, Pilato, C, Lattuada, M, Sciuto, D, Michelotti, A

Get full text

Functional test generation for behaviorally sequential models by Ferrandi, F., Ferrara, G., Sciuto, D., Fin, A., Fummi, F.

Request full text

Symbolic functional vector generation for VHDL specifications by Ferrandi, F., Fummi, F., Gerli, L., Sciuto, D.

Request full text

Fine grain analysis of simulators accuracy for calibrating performance models by Lattuada, M, Ferrandi, F

Request full text

Error simulation based on the SystemC design description language by Bruschi, F., Ferrandi, F., Chiamenti, M., Sciuto, D.

Request full text

An approach to functional testing of VLIW architectures by Beardo, M., Bruschi, F., Ferrandi, F., Sciuto, D.

Request full text

An application of genetic algorithms and BDDs to functional testing by Ferrandi, F., Fin, A., Fummi, F., Sciuto, D.

Request full text

A Framework for the Functional Verification of SystemC Models by Bruschi, Francesco, Ferrandi, Fabrizio, Sciuto, Donatella

Get full text

Automatic VHDL restructuring for RTL synthesis optimization and testability improvement by Corvino, D., Epicoco, I., Ferrandi, F., Fumi, F., Sciuto, D.

Request full text

Power estimation of behavioral descriptions by Ferrandi, F., Fummi, F., Macii, E., Poncino, M., Sciuto, D.

Request full text

BIST architectures selection based on behavioral testing by Biasoli, G., Ferrandi, F., Fin, A., Fummi, F., Sciuto, D.

Request full text

Bench to bedside application of by Nageh-Armanios, M., De Paula Santos, L., Ladeia, A. M., Atie, J., Ferrari, F. P., Ferrandi, F. M., Barassi, B. P., Florio, F. M., Tripodi, T. M., Reina, R. C., Molinari, M. I., Bianchi, B. G., Husti, Z., Chadaide, S. Z., Kohajda, Z. S., Juhasz, V., Saghy, L., Jost, N., Varro, A., Baczko, I., Quintanilla, J. G., Moreno Planas, J., Molina-Morua, R., Garcia-Torrent, M. J., Archondo, T., Mironov, S., Macaya, C., Perez-Villacastin, J., Letsas, K., Charalampous, C., Korantzopoulos, P., Bramos, D., Spoulos, A., Kollias, G., Efremidis, M., Sideris, A.

Get full text