Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 684
Citazione Data di pubblicazione Autori File
Fondamenti di Informatica: Temi d'esame ed esercizi svolti / Piccolo, Elio; Macii, Enrico. - STAMPA. - (1990), pp. 1.1-7.2. 1-gen-1990 PICCOLO, ElioMACII, Enrico -
An Algebraic Approach to Test Generation for Sequential Circuits / Lioy, Antonio; Macii, Enrico; Meo, A. R.; SONZA REORDA, Matteo. - (1991), pp. 115-120. (Intervento presentato al convegno GLS-VLSI-91: IEEE/ACM 1st Great Lakes Symposium on VLSI tenutosi a Kalamazoo, MI) [10.1109/GLSV.1991.143952]. 1-gen-1991 LIOY, ANTONIOMACII, EnricoSONZA REORDA, Matteo + -
Algebraic/Topological Combined Strategies for Sequential ATPG / Macii, Enrico; Meo, A. R.. - (1991), pp. 1240-1244. (Intervento presentato al convegno IEEE 25th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1991.186646]. 1-gen-1991 MACII, Enrico + -
New Heuristic Techniques to Increase the Performance of a Test Generation Package for VLSI Sequential Circuits / Macii, Enrico; Magnanini, L; Meo, A. R.. - (1992), pp. 741-744. (Intervento presentato al convegno CCECE-92: IEEE 1992 Canadian Conference on Electrical and Computer Engineering tenutosi a Toronto, Ontario). 1-gen-1992 MACII, Enrico + -
Verification of Systems Containing Counters / Macii, Enrico; Plessier, B; Somenzi, F.. - (1992), pp. 179-182. (Intervento presentato al convegno ICCAD-92: ACM/IEEE 1992 International Conference on Computer-Aided Design tenutosi a Santa Clara, CA) [10.1109/ICCAD.1992.279378]. 1-gen-1992 MACII, Enrico + -
Techniques to increase ATPG performance / Meo, ANGELO RAFFAELE; Macii, Enrico. - (1992). (Intervento presentato al convegno IEEE 10th VLSI Test Symposium). 1-gen-1992 MEO, ANGELO RAFFAELEMACII ENRICO -
Testability Measures Reduce Test Generation Time in Sequential ATPG / Macii, Enrico; Meo, A. R.. - (1992), pp. 985-988. (Intervento presentato al convegno IEEE 26th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1992.269073]. 1-gen-1992 MACII, Enrico + -
Test Generation for Gate Level Sequential Machines: Algorithms and Implementation Issues / Lioy, Antonio; Macii, Enrico; Meo, A. R.. - (1992), pp. 262-267. (Intervento presentato al convegno CompEuro'92: IEEE 1992 International Conference on Software Engineering tenutosi a Den Haag, The Netherlands) [10.1109/CMPEUR.1992.218499]. 1-gen-1992 LIOY, ANTONIOMACII, Enrico + -
Efficient Heuristics for Sequential ATPG / Macii, Enrico; Magnanini, L; Meo, A. R.. - (1992), pp. 278-281. (Intervento presentato al convegno MWSCAS-92: IEEE 35th Midwest Symposium on Circuits and Systems tenutosi a Washington, DC) [10.1109/MWSCAS.1992.271380]. 1-gen-1992 MACII, Enrico + -
Test Generation for Sequential Networks Affected by Reconvergent Fanout: a Solution based on a 9-Valued Algebraic Circuit Model / Macii, Enrico; Meo, A. R.. - (1992), pp. 980-984. (Intervento presentato al convegno IEEE 26th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1992.269074]. 1-gen-1992 MACII, Enrico + -
Techniques to Increase Sequential ATPG Performance / Macii, Enrico; Meo, A. R.. - (1992), pp. 257-262. (Intervento presentato al convegno VTS-92: IEEE 10th VLSI Test Symposium tenutosi a Atlantic City, NJ) [10.1109/VTEST.1992.232762]. 1-gen-1992 MACII, Enrico + -
Experiments on Technology Mapping Using Different Cell Libraries / Macii, Enrico; Poncino, Massimo. - (1993), pp. 9.3.1-9.3.9. (Intervento presentato al convegno IEEE 5th NASA Symposium on VLSI Design tenutosi a Albuquerque, NM). 1-gen-1993 MACII, EnricoPONCINO, MASSIMO -
Resynthesis for Testability of Redundant Combinational Circuits / Macii, Enrico; Evans, A.. - (1993), pp. 511-512. (Intervento presentato al convegno ETC-93: IEEE 1993 European Test Conference tenutosi a Rotterdam, The Netherlands) [10.1109/ETC.1993.246606]. 1-gen-1993 MACII, Enrico + -
Algorithms for Approximate FSM Traversal / Cho, H; Hachtel, G. D.; Macii, Enrico; Plessier, B; Somenzi, F.. - (1993), pp. 25-30. (Intervento presentato al convegno DAC-30: ACM/IEEE Design Automation Conference tenutosi a Dallas, TX) [10.1109/DAC.1993.203914]. 1-gen-1993 MACII, Enrico + -
Algebraic Decision Diagrams and Their Applications / Bahar, R. I; Gaona, C; Frohm, E; Hachtel, G. D.; Macii, Enrico; Pardo, A; Somenzi, F.. - (1993), pp. 188-191. (Intervento presentato al convegno ICCAD-93: ACM/IEEE 1993 International Conference on Computer-Aided Design tenutosi a Santa Clara, CA) [10.1109/ICCAD.1993.580054]. 1-gen-1993 MACII, Enrico + -
A State Space Decomposition Algorithm for Approximate FSM Traversal / Cho, H; Hachtel, G. D.; Macii, Enrico; Poncino, Massimo; Somenzi, F.. - (1994), pp. 137-141. (Intervento presentato al convegno EDTC-94: IEEE 1994 European Design and Test Conference tenutosi a Paris, France) [10.1109/EDTC.1994.326885]. 1-gen-1994 MACII, EnricoPONCINO, MASSIMO + -
Look-Up Table FPGA Realization of m-out-of-n Bit Voters / Macii, Enrico; Poncino, Massimo. - (1994), pp. 190-193. (Intervento presentato al convegno CCECE-94: IEEE 1994 Canadian Conference on Electrical and Computer Engineering tenutosi a Halifax, Nova Scotia) [10.1109/CCECE.1994.405630]. 1-gen-1994 MACII, EnricoPONCINO, MASSIMO -
Probabilistic Analysis of Large Finite State Machines / Hachtel, G. D.; Macii, Enrico; Pardo, A; Somenzi, F.. - (1994), pp. 270-275. (Intervento presentato al convegno DAC-31: ACM/IEEE Design Automation Conference tenutosi a San Diego, CA) [10.1109/DAC.1994.204110]. 1-gen-1994 MACII, Enrico + -
STG Characteristics of the ISCAS'89 Benchmarks / Macii, Enrico; Poncino, Massimo. - (1994), pp. 177-180. (Intervento presentato al convegno ASICON-94: IEEE 1994 International Conference on ASIC tenutosi a Beijing, China). 1-gen-1994 MACII, EnricoPONCINO, MASSIMO -
The Impact of Gate Delay Models on Power Estimation for CMOS Circuits / Macii, Enrico; Poncino, Massimo. - (1994), pp. 41-44. (Intervento presentato al convegno ASICON-94: IEEE 1994 International Conference on ASIC tenutosi a Beijing, China). 1-gen-1994 MACII, EnricoPONCINO, MASSIMO -
Mostrati risultati da 1 a 20 di 684
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile