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 + -
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 + -
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 + -
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 + -
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 + -
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 + -
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 + -
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 + -
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 + -
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 -
A unified signal transition graph model for asynchronous control circuit synthesis / A. V., Yakovlev; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI. - In: FORMAL METHODS IN SYSTEM DESIGN. - ISSN 0925-9856. - (1996). 1-gen-1996 LAVAGNO, Luciano + -
Incremental re-encoding for symbolic traversal of product machines / Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo Enrico; Brayton, R. K.. - STAMPA. - (1996), pp. 158-163. (Intervento presentato al convegno Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition tenutosi a Geneva (Switz.) nel 16-20 September 1996). 1-gen-1996 Quer StefanoLavagno LucianoCabodi GianpieroCamurati Paolo + eurodac1996.pdfIncremental_re-encoding_for_symbolic_traversal_of_product_machines.pdf
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano; E. M., Sentovich; R. K., Brayton. - (1996). (Intervento presentato al convegno IEEE EURO-DAC'96 tenutosi a Geneva nel September 16-20 1996). 1-gen-1996 CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoQUER, Stefano + -
Methodology and tools for state encoding in asynchronous circuit synthesis / J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev. - (1996), pp. 63-66. (Intervento presentato al convegno 33rd Design Automation Conference Proceedings, 1996) [10.1109/DAC.1996.545547]. 1-gen-1996 LAVAGNO, Luciano + -
Formal verification of embedded systems based on CFSM networks / F., Balarin; H., Hsieh; A., Jurecska; Lavagno, Luciano; A., Sangiovanni Vincentelli. - (1996), pp. 568-571. (Intervento presentato al convegno 33rd Design Automation Conference Proceedings, 1996) [10.1109/DAC.1996.545640]. 1-gen-1996 LAVAGNO, Luciano + -
A case study in computer-aided co-design of embedded controllers / Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano. - In: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS. - ISSN 0929-5585. - 1:1-2(1996), pp. 51-67. 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