Sfoglia per Rivista ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal
2008 Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors
2019 Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; Poncino, Massimo
EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards
1998 Benso, Alfredo; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo
Initializability Analysis of Synchronous Sequential Circuits
2002 Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications
2015 Bombieri, Nicola; Fummi, Franco; Vinco, Sara
Modeling reactive systems in java
1998 Passerone, C.; Lavagno, Luciano; Sansoe', Claudio; Martin, J; Passerone, R.
NBTI-Aware Clustered Power Gating
2010 Calimera, Andrea; Macii, Enrico; Poncino, Massimo
Power Optimization of Technology-Dependent Circuits Based on Symbolic Computation of Logic Implications
2000 Bahar, I.; Lampe, E.; Macii, Enrico
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques
2010 Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchronous Controllers
1999 Benini, L.; DE MICHELI, G.; Macii, Enrico; Poncino, M.; Scarsi, R.
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchrounous Controllers
1999 Benini, L.; DE MICHELI, G.; Macii, E.; Poncino, Massimo; Scarsi, R.
SystemC-AMS thermal modeling for the co-simulation of functional and extra-functional properties
2019 Chen, Yukai; Vinco, Sara; Macii, Enrico; Poncino, Massimo
Thread-based multi-engine model checking for multicore platforms
2013 Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Boosting Interpolation with Dynamic Localized Abstraction and Redundancy Removal / Cabodi, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 13:1(2008). [10.1145/1297666.1297669] | 1-gen-2008 | CABODI, GianpieroMURCIANO, MARCONOCCO, SERGIOQUER, Stefano | - |
A Cross-Level Verification Methodology for Digital IPs Augmented with Embedded Timing Monitors / Vinco, Sara; Bombieri, Nicola; JAHIER PAGLIARI, Daniele; Fummi, Franco; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - STAMPA. - 24:3(2019), pp. 1-23. [10.1145/3308565] | 1-gen-2019 | SARA VINCOBOMBIERI, NICOLADANIELE JAHIER PAGLIARIFRANCO FUMMIENRICO MACIIMASSIMO PONCINO | main.pdf; 3308565(1).pdf |
EXFI: a low cost Fault Injection System for embedded Microprocessor-based Boards / Benso, Alfredo; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - STAMPA. - 5:4(1998), pp. 626-634. [10.1145/296333.296351] | 1-gen-1998 | BENSO, AlfredoPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, Matteo | 1998-TODAES-EXFI-AuthorVersion.pdf |
Initializability Analysis of Synchronous Sequential Circuits / Corno, Fulvio; Prinetto, Paolo Ernesto; Rebaudengo, Maurizio; SONZA REORDA, Matteo; Squillero, Giovanni. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 7:2(2002), pp. 249-264. [10.1145/544536.544538] | 1-gen-2002 | CORNO, FulvioPRINETTO, Paolo ErnestoREBAUDENGO, MaurizioSONZA REORDA, MatteoSQUILLERO, Giovanni | - |
A Methodology to Recover RTL IP Functionality for Automatic Generation of SW Applications / Bombieri, Nicola; Fummi, Franco; Vinco, Sara. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 20:3(2015), pp. 1-26. [10.1145/2720019] | 1-gen-2015 | VINCO, SARA + | main.pdf; a36-bombieri.pdf |
Modeling reactive systems in java / Passerone, C.; Lavagno, Luciano; Sansoe', Claudio; Martin, J; Passerone, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 3(4):(1998), pp. 515-523. | 1-gen-1998 | PASSERONE C.LAVAGNO, LucianoSANSOE', Claudio + | - |
NBTI-Aware Clustered Power Gating / Calimera, Andrea; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - (2010), pp. 3-1-3-25. [10.1145/1870109.1870112] | 1-gen-2010 | CALIMERA, ANDREAMACII, EnricoPONCINO, MASSIMO | - |
Power Optimization of Technology-Dependent Circuits Based on Symbolic Computation of Logic Implications / Bahar, I.; Lampe, E.; Macii, Enrico. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 5:(2000), pp. 267-293. [10.1145/348019.348028] | 1-gen-2000 | MACII, Enrico + | - |
Speeding-up heuristic allocation, scheduling and binding with SAT-based abstraction/refinement techniques / Cabodi, Gianpiero; Lavagno, Luciano; Murciano, Marco; Kondratyev, A; Watanabe, Y.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 15:2(2010), pp. 12:1-12:34. [10.1145/1698759.1698762] | 1-gen-2010 | CABODI, GianpieroLAVAGNO, LucianoMURCIANO, MARCO + | - |
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchronous Controllers / Benini, L.; DE MICHELI, G.; Macii, Enrico; Poncino, M.; Scarsi, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 4:(1999), pp. 351-375. [10.1145/323480.323482] | 1-gen-1999 | MACII, EnricoPONCINO M. + | - |
Symbolic Synthesis of Clock-Gating Logic for Power Optimization of Synchrounous Controllers / Benini, L.; DE MICHELI, G.; Macii, E.; Poncino, Massimo; Scarsi, R.. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - 4:(1999). | 1-gen-1999 | MACII E.PONCINO, MASSIMO + | - |
SystemC-AMS thermal modeling for the co-simulation of functional and extra-functional properties / Chen, Yukai; Vinco, Sara; Macii, Enrico; Poncino, Massimo. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 24:4(2019), pp. 1-26. [10.1145/3267125] | 1-gen-2019 | YUKAI CHENSARA VINCOENRICO MACIIMASSIMO PONCINO | main.pdf; 3267125.pdf |
Thread-based multi-engine model checking for multicore platforms / Cabodi, Gianpiero; Nocco, Sergio; Quer, Stefano. - In: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS. - ISSN 1084-4309. - ELETTRONICO. - 18:3(2013), pp. 1-28. [10.1145/2491477.2491480] | 1-gen-2013 | CABODI, GianpieroNOCCO, SERGIOQUER, Stefano | - |
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