AAAAAA
Results:
1-10
|
Results: 10
Authors:
Cordone, R
Ferrandi, F
Sciuto, D
Calvo, RW
Citation: R. Cordone et al., An efficient heuristic approach to solve the unate covering problem, IEEE COMP A, 20(12), 2001, pp. 1377-1388
Authors:
Corvino, D
Epicoco, I
Ferrandi, F
Fummi, F
Sciuto, D
Citation: D. Corvino et al., Automatic VHDL restructuring for RTL synthesis optimization and testability improvement, ELECTRONIC CHIPS & SYSTEMS DESIGN LANGUAGES, 2001, pp. 227-238
Authors:
Allara, A
Bombana, M
Comai, S
Josko, B
Schlor, R
Sciuto, D
Citation: A. Allara et al., Specification of embedded monitors for property checking, ELECTRONIC CHIPS & SYSTEMS DESIGN LANGUAGES, 2001, pp. 285-294
Authors:
Buonanno, G
Fummi, F
Sciuto, D
Citation: G. Buonanno et al., An extended-UIO-based method for protocol conformance testing, J SYST ARCH, 46(3), 2000, pp. 225-242
Authors:
Bolchini, C
Montandon, R
Salice, F
Sciuto, D
Citation: C. Bolchini et al., Design of VHDL-based totally self-checking finite-state machine and data-path descriptions, IEEE VLSI, 8(1), 2000, pp. 98-103
Authors:
Sciuto, D
Citation: D. Sciuto, Guest editor's introduction: Design tools for embedded systems, IEEE DES T, 17(2), 2000, pp. 11-13
Authors:
Cuomo, A
De Micheli, G
Ernst, R
Fuchs, M
Gajski, DD
Jerraya, A
Sangiovanni-Vincentelli, A
Sciuto, D
Vissers, KA
Citation: A. Cuomo et al., Hardware-software codesign, IEEE DES T, 17(1), 2000, pp. 92-99
Authors:
Ferrandi, F
Fummi, F
Macii, E
Poncino, M
Sciuto, D
Citation: F. Ferrandi et al., Symbolic optimization of interacting controllers based on redundancy identification and removal, IEEE COMP A, 19(7), 2000, pp. 760-772
Authors:
Fummi, F
Sciuto, D
Citation: F. Fummi et D. Sciuto, A hierarchical test generation approach for large controllers, IEEE COMPUT, 49(4), 2000, pp. 289-302
Authors:
Fummi, F
Sciuto, D
Serra, M
Citation: F. Fummi et al., Synthesis for testability of highly complex controllers by functional redundancy removal, IEEE COMPUT, 48(12), 1999, pp. 1305-1323
Risultati:
1-10
|