Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 268
Citazione Data di pubblicazione Autori File
MIS-MV: optimization of multi-level logic with multiple-values inputs / Lavagno, Luciano; S., Malik; R. K., Brayton; A., Sangiovanni Vincentelli. - (1990), pp. 560-563. (Intervento presentato al convegno 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers) [10.1109/ICCAD.1990.129981]. 1-gen-1990 LAVAGNO, Luciano + -
Algorithms for synthesis of hazard-free asynchronous circuits / Lavagno, Luciano; Keutzer, K.; Sangicivanni Vincentelli, A.. - (1991), pp. 302-308. (Intervento presentato al convegno Design Automation Conference, 1991. 28th ACM/IEEE). 1-gen-1991 LAVAGNO, Luciano + -
Symbolic minimization of multilevel logic and the input encoding problem / Lavagno, Luciano; S., Malik; R. K., Brayton; A., SANGIOVANNI VINCENTELLI. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 11(7):(1992). 1-gen-1992 LAVAGNO, Luciano + -
Algorithms for synthesis and testing of asynchronous circuits / Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - (1993). 1-gen-1993 LAVAGNO, Luciano + -
PAPRICA-3: a real-time morphological image processorProceedings of 1st International Conference on Image Processing / A., Broggi; G., Conte; Lavagno, Luciano; Gregoretti, Francesco; Sansoe', Claudio; G., Burzio; Reyneri, Leonardo. - 3:(1994), pp. 654-658. (Intervento presentato al convegno Proceedings of 1st International Conference on Image Processing) [10.1109/ICIP.1994.413808]. 1-gen-1994 LAVAGNO, LucianoGREGORETTI, FrancescoSANSOE', ClaudioREYNERI, Leonardo + -
Hardware-software codesign of embedded systems / Chiodo, M.; Giusto, P.; Jurecska, A.; Hsieh, H. C.; Lavagno, Luciano. - In: IEEE MICRO. - ISSN 0272-1732. - 14:4(1994), pp. 26-36. 1-gen-1994 LAVAGNO, Luciano + -
A low latency asynchronous arbitration circuit / A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano. - In: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS. - ISSN 1063-8210. - (1994). 1-gen-1994 LAVAGNO, Luciano + -
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal / Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Sentovich, E. M.; Brayton, R. K.. - STAMPA. - (1995), pp. 317-327. (Intervento presentato al convegno ACM/IEEE International Workshop on Logic Synthesis (IWLS 1995) tenutosi a Lake Tahoe, California, USA nel May 1995). 1-gen-1995 QUER, StefanoCABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, Luciano + -
Synthesis for testability techniques for asynchronous circuits / K., Keutzer; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - 14(12):(1995). 1-gen-1995 LAVAGNO, Luciano + -
High level modelling and design of asynchronous interface logic / A. V., Yakovlev; A. M., Koelmans; Lavagno, Luciano. - In: IEEE DESIGN & TEST OF COMPUTERS. - ISSN 0740-7475. - (1995). 1-gen-1995 LAVAGNO, Luciano + -
Synthesizing Petri nets from state-based models / J., Cortadella; M., Kishinevsky; Lavagno, Luciano; A., Yakovlev. - (1995), pp. 164-171. (Intervento presentato al convegno Proceedings of IEEE International Conference on Computer Aided Design (ICCAD)) [10.1109/ICCAD.1995.480008]. 1-gen-1995 LAVAGNO, Luciano + -
An efficient heuristic procedure for solving the state assignment problem for event-based specifications / Lavagno, Luciano; C. W., Moon; R. K., Brayton; A., SANGIOVANNI VINCENTELLI. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - (1995). 1-gen-1995 LAVAGNO, Luciano + -
Synthesis of hazard-free asynchronous circuits with bounded wire delays / Lavagno, Luciano; K., Keutzer; A., SANGIOVANNI VINCENTELLI. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - (1995). 1-gen-1995 LAVAGNO, Luciano + -
Design and Implementation of the Control Structure of the PAPRICA-3 Processor / Gregoretti, Francesco; Intini, F.; Lavagno, Luciano; Passerone, R.; Reyneri, L. M.. - (1996). (Intervento presentato al convegno 4th Euromicro Workshop on Parallel and Distributed processing nel Braga, January 1996). 1-gen-1996 GREGORETTI, FrancescoLAVAGNO, LucianoREYNERI L. M. + -
Design and implementation of the control structure of the PAPRICA-3 processorProceedings of 4th Euromicro Workshop on Parallel and Distributed Processing / Gregoretti, Francesco; F., Intini; Lavagno, Luciano; R., Passerone; Reyneri, Leonardo. - (1996), pp. 290-296. (Intervento presentato al convegno Proceedings of 4th Euromicro Workshop on Parallel and Distributed Processing) [10.1109/EMPDP.1996.500599]. 1-gen-1996 GREGORETTI, FrancescoLAVAGNO, LucianoREYNERI, Leonardo + -
Verification and Synthesis of Counters based on Symbolic Techniques / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano. - STAMPA. - (1996). (Intervento presentato al convegno 4th International Workshop on Symbolic Methods and Applications to Circuit Design (SMACD 1996) tenutosi a Leuven Belgium nel October, 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano -
On the models for asynchronous circuit behaviour with {OR} causality / A. V., Yakovlev; M., Kishinevsky; A. Y., Kondratyev; Lavagno, Luciano; M., PIETKIEWICZ KOUTNY. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (1996). 1-gen-1996 LAVAGNO, Luciano + -
Compact and complete test set generation for multiple stuck-faultsProceedings of International Conference on Computer Aided Design / A., Agrawal; A., Saldanha; Lavagno, Luciano; A. L., Sangiovanni Vincentelli. - (1996), pp. 212-219. (Intervento presentato al convegno Proceedings of International Conference on Computer Aided Design) [10.1109/ICCAD.1996.569601]. 1-gen-1996 LAVAGNO, Luciano + -
Rapid-prototyping of embedded systems via reprogrammable devices / S., Cardelli; M., Chiodo; P., Giusto; A., Jurecska; Lavagno, Luciano; A., Sangiovanni Vincentelli. - (1996), pp. 133-138. (Intervento presentato al convegno Proceedings Seventh IEEE International Workshop on Rapid System Prototyping. Shortening the Path from Specification to Prototype) [10.1109/IWRSP.1996.506740]. 1-gen-1996 LAVAGNO, Luciano + -
Complete state encoding based on the theory of regionsProceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems / J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev. - (1996), pp. 36-47. (Intervento presentato al convegno Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems) [10.1109/ASYNC.1996.494436]. 1-gen-1996 LAVAGNO, Luciano + -
Mostrati risultati da 1 a 20 di 268
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