Sfoglia per Autore
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
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
Hardware-software codesign of embedded systems.
1994 Chiodo, M.; Giusto, P.; Jurecska, A.; Hsieh, H. C.; Lavagno, Luciano
A low latency asynchronous arbitration circuit.
1994 A. V., Yakovlev; A. I., Petrov; Lavagno, Luciano
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 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
Synthesizing Petri nets from state-based models
1995 J., Cortadella; M., Kishinevsky; Lavagno, Luciano; A., Yakovlev
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
Synthesis of hazard-free asynchronous circuits with bounded wire delays.
1995 Lavagno, Luciano; K., Keutzer; A., SANGIOVANNI VINCENTELLI
Design and Implementation of the Control Structure of the PAPRICA-3 Processor
1996 Gregoretti, Francesco; Intini, F.; Lavagno, Luciano; Passerone, R.; Reyneri, L. M.
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
Verification and Synthesis of Counters based on Symbolic Techniques
1996 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
On the models for asynchronous circuit behaviour with {OR} causality.
1996 A. V., Yakovlev; M., Kishinevsky; A. Y., Kondratyev; Lavagno, Luciano; M., PIETKIEWICZ KOUTNY
Compact and complete test set generation for multiple stuck-faultsProceedings of International Conference on Computer Aided Design
1996 A., Agrawal; A., Saldanha; Lavagno, Luciano; A. L., Sangiovanni Vincentelli
Rapid-prototyping of embedded systems via reprogrammable devices
1996 S., Cardelli; M., Chiodo; P., Giusto; A., Jurecska; Lavagno, Luciano; A., Sangiovanni Vincentelli
Complete state encoding based on the theory of regionsProceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems
1996 J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev
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 + | - |
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