LAVAGNO, Luciano
LAVAGNO, Luciano
Dipartimento di Elettronica e Telecomunicazioni
002044
MIS-MV: optimization of multi-level logic with multiple-values inputs
1990 Lavagno, Luciano; S., Malik; R. K., Brayton; A., Sangiovanni Vincentelli
Algorithms for synthesis of hazard-free asynchronous circuits
1991 Lavagno, Luciano; Keutzer, K.; Sangicivanni Vincentelli, A.
Symbolic minimization of multilevel logic and the input encoding problem.
1992 Lavagno, Luciano; S., Malik; R. K., Brayton; A., SANGIOVANNI VINCENTELLI
Algorithms for synthesis and testing of asynchronous circuits
1993 Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
A low latency asynchronous arbitration circuit.
1994 A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano
Hardware-software codesign of embedded systems.
1994 Chiodo, M.; Giusto, P.; Jurecska, A.; Hsieh, H. C.; Lavagno, Luciano
PAPRICA-3: a real-time morphological image processorProceedings of 1st International Conference on Image Processing
1994 A., Broggi; G., Conte; Lavagno, Luciano; Gregoretti, Francesco; Sansoe', Claudio; G., Burzio; Reyneri, Leonardo
Incremental FSM Re-encoding for Simplifying Verification by Symbolic Traversal
1995 Quer, Stefano; Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Sentovich, E. M.; Brayton, R. K.
Synthesis of hazard-free asynchronous circuits with bounded wire delays.
1995 Lavagno, Luciano; K., Keutzer; A., SANGIOVANNI VINCENTELLI
Synthesizing Petri nets from state-based models
1995 J., Cortadella; M., Kishinevsky; Lavagno, Luciano; A., Yakovlev
Synthesis for testability techniques for asynchronous circuits.
1995 K., Keutzer; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
High level modelling and design of asynchronous interface logic.
1995 A. V., Yakovlev; A. M., Koelmans; Lavagno, Luciano
An efficient heuristic procedure for solving the state assignment problem for event-based specifications.
1995 Lavagno, Luciano; C. W., Moon; R. K., Brayton; A., SANGIOVANNI VINCENTELLI
Incremental FSM Re-encoding for Symbolic Traversal of Product Machines
1996 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano; E. M., Sentovich; R. K., Brayton
A case study in computer-aided co-design of embedded controllers.
1996 Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano
Design and implementation of the control structure of the PAPRICA-3 processorProceedings of 4th Euromicro Workshop on Parallel and Distributed Processing
1996 Gregoretti, Francesco; F., Intini; Lavagno, Luciano; R., Passerone; Reyneri, Leonardo
Incremental re-encoding for symbolic traversal of product machines
1996 Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo Enrico; Brayton, R. K.
On the models for asynchronous circuit behaviour with {OR} causality.
1996 A. V., Yakovlev; M., Kishinevsky; A. Y., Kondratyev; Lavagno, Luciano; M., PIETKIEWICZ KOUTNY
Verification and Synthesis of Counters based on Symbolic Techniques
1996 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
Design and Implementation of the Control Structure of the PAPRICA-3 Processor
1996 Gregoretti, Francesco; Intini, F.; Lavagno, Luciano; Passerone, R.; Reyneri, L. M.
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 + | - |
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 + | - |
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 + | - |
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 + | - |
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 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 + | - |
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 + | - |
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 + | - |
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 + | - |
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 + | - |
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 + | - |
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 + | - |
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.pdf; Incremental_re-encoding_for_symbolic_traversal_of_product_machines.pdf |
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 + | - |
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 | - |
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. + | - |