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
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
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
Synthesis of hazard-free asynchronous circuits with bounded wire delays.
1995 Lavagno, Luciano; K., Keutzer; A., SANGIOVANNI VINCENTELLI
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.
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
Synthesizing Petri nets from state-based models
1995 J., Cortadella; M., Kishinevsky; Lavagno, Luciano; A., Yakovlev
High level modelling and design of asynchronous interface logic.
1995 A. V., Yakovlev; A. M., Koelmans; Lavagno, Luciano
Synthesis for testability techniques for asynchronous circuits.
1995 K., Keutzer; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
Verification and Synthesis of Counters based on Symbolic Techniques
1996 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Quer, Stefano
A unified signal transition graph model for asynchronous control circuit synthesis.
1996 A. V., Yakovlev; Lavagno, Luciano; A., SANGIOVANNI VINCENTELLI
Incremental re-encoding for symbolic traversal of product machines
1996 Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo Enrico; Brayton, R. K.
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
Methodology and tools for state encoding in asynchronous circuit synthesis
1996 J., Cortadella; M., Kishinevsky; A., Kondratyev; Lavagno, Luciano; A., Yakovlev
Formal verification of embedded systems based on CFSM networks
1996 F., Balarin; H., Hsieh; A., Jurecska; Lavagno, Luciano; A., Sangiovanni Vincentelli
A case study in computer-aided co-design of embedded controllers.
1996 Chiodo, M.; Engels, D.; Giusto, P.; Hsieh, H.; Lavagno, Luciano
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.pdf; Incremental_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 + | - |
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