Sfoglia per Autore
Symbolic Representation and Manipulation of Large Neural Networks
1995 Macii, E; Poncino, Massimo
Exact Functional Redundancy Identification
1995 Lioy, Antonio; Poncino, Massimo
The Impact of Cell Library Characteristics on Area, Speed, and Power Consumption of CMOS Circuits
1995 Macii, Enrico; Poncino, Massimo
Symbolic Representation and Manipulation of Large Neural Networks
1995 Macii, Enrico; Poncino, Massimo
Using Connectivity and Spectral Methods to Characterize the Structure of Sequential Logic Circuits
1995 Macii, Enrico; Poncino, Massimo
The Design of Easily Scalable Bus Arbiters with Different Dynamic Priority Assignment Schemes
1995 Macii, Enrico; Poncino, Massimo
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluate the Correlation between Boolean Functions
1995 Macii, Enrico; Poncino, Massimo
Modeling Sequential Circuits with Cellular Automata
1995 Alovisio, D; Cianchini, S; Macii, ; Poncino, Massimo
Predicting the Complexity of Large Combinational Circuitsby Symbolic Spectral Analysis of Boolean Functions
1995 Macii, E.; Poncino, Massimo
Hardware simulation: a flexible approach to verification and performance evaluation of communication protocols
1995 Baldi, Mario; Macii, Enrico; Poncino, Massimo
On Computing the Maximum Power Cycles of a Sequential Circuit
1995 Manne, S; Pardo, A; Bahar, R. I.; HACHTEL G. D., SOMENZI F; Macii, Enrico; Poncino, Massimo
Testing Hyperactive Faults in Asynchronous Circuits
1995 Lioy, Antonio; Maino, F.; Odasso, G.; Poncino, Massimo
Estimating Worst-Case Power Consumption of Combinational Circuits Modeled as Neural Networks
1995 Macii, Enrico; Poncino, Massimo
Simplifying Sequential Gate-Level Test Generation Through Exploitation of High-Level Information
1996 Ferrandi, F; Fummi, F; Macii, Enrico; Poncino, Massimo; Sciuto, D.
Power Consumption of Static and Dynamic CMOS Circuits: A Comparative Study
1996 Macii, Enrico; Poncino, Massimo
BDD-Based Testability Estimation of VHDL Designs
1996 Ferrandi, F; Fummi, F; Macii, Enrico; Poncino, Massimo; Sciuto, D.
Enhancing FSM Traversal by Temporary Re-Encoding
1996 Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Macii, Enrico; Poncino, Massimo; Quer, Stefano; E., Sentovich
Automatic State Space Decomposition for Approximate FSM Traversal Based on Circuit Structural Analysis
1996 Cho, H.; Hachtel, G. D.; Macii, Enrico; Poncino, Massimo; Somenzi, F.
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques
1996 Ferrandi, F.; Fummi, F.; Macii, Enrico; Poncino, Massimo; Sciuto, D.
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluatethe Agreement Between Boolean Functions
1996 Macii, Enrico; Poncino, Massimo
Citazione | Data di pubblicazione | Autori | File |
---|---|---|---|
Symbolic Representation and Manipulation of Large Neural Networks / Macii, E; Poncino, Massimo. - In: INTERNATIONAL JOURNAL OF COMPUTERS AND THEIR APPLICATIONS. - ISSN 1076-5204. - 2:(1995), pp. 104-111. | 1-gen-1995 | MACII EPONCINO, MASSIMO | - |
Exact Functional Redundancy Identification / Lioy, Antonio; Poncino, Massimo. - (1995). (Intervento presentato al convegno IEEE Pacific Rim Conference on Communications, Computer and Signal Processing) [10.1109/PACRIM.1995.519570]. | 1-gen-1995 | LIOY, ANTONIOPONCINO, MASSIMO | - |
The Impact of Cell Library Characteristics on Area, Speed, and Power Consumption of CMOS Circuits / Macii, Enrico; Poncino, Massimo. - In: INTERNATIONAL JOURNAL OF ELECTRONICS. - ISSN 0020-7217. - 78:(1995), pp. 395-407. [10.1080/00207219508926171] | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
Symbolic Representation and Manipulation of Large Neural Networks / Macii, Enrico; Poncino, Massimo. - (1995), pp. 112-116. (Intervento presentato al convegno IEEE 1995 International Conference on Computer Applications in Engineering and Medicine tenutosi a Indianapolis, IN). | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
Using Connectivity and Spectral Methods to Characterize the Structure of Sequential Logic Circuits / Macii, Enrico; Poncino, Massimo. - In: MICROPROCESSING AND MICROPROGRAMMING. - ISSN 0165-6074. - 41:(1995), pp. 487-500. [10.1016/0165-6074(95)00028-M] | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
The Design of Easily Scalable Bus Arbiters with Different Dynamic Priority Assignment Schemes / Macii, Enrico; Poncino, Massimo. - (1995), pp. 211-213. (Intervento presentato al convegno IEEE 29th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA) [10.1109/ACSSC.1995.540542]. | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluate the Correlation between Boolean Functions / Macii, Enrico; Poncino, Massimo. - (1995), pp. 112-116. (Intervento presentato al convegno GLS-VLSI-95: IEEE/ACM 5th Great Lakes Symposium on VLSI tenutosi a Buffalo, NY) [10.1109/GLSV.1995.516035]. | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
Modeling Sequential Circuits with Cellular Automata / Alovisio, D; Cianchini, S; Macii, ; Poncino, Massimo. - In: INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE. - ISSN 0020-7721. - 7:(1995), pp. 1415-1428. | 1-gen-1995 | PONCINO, MASSIMO + | - |
Predicting the Complexity of Large Combinational Circuitsby Symbolic Spectral Analysis of Boolean Functions / Macii, E.; Poncino, Massimo. - (1995), pp. 294-299. (Intervento presentato al convegno Euro-DAC'95: European Design Automation Conference tenutosi a Brighton, UK) [10.1109/EURDAC.1995.527420]. | 1-gen-1995 | MACII E.PONCINO, MASSIMO | - |
Hardware simulation: a flexible approach to verification and performance evaluation of communication protocols / Baldi, Mario; Macii, Enrico; Poncino, Massimo. - (1995), pp. 945-948. (Intervento presentato al convegno IEEE 29th Asilomar Conference on Signals, Systems and Computers tenutosi a Pacific Grove, CA (USA) nel Oct. 30 1995-Nov. 1 1995) [10.1109/ACSSC.1995.540839]. | 1-gen-1995 | BALDI, MARIOMACII, EnricoPONCINO, MASSIMO | - |
On Computing the Maximum Power Cycles of a Sequential Circuit / Manne, S; Pardo, A; Bahar, R. I.; HACHTEL G. D., SOMENZI F; Macii, Enrico; Poncino, Massimo. - (1995), pp. 23-28. (Intervento presentato al convegno DAC-32: 32nd Design Automation Conference tenutosi a San Francisco, CA) [10.1109/DAC.1995.250037]. | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO + | - |
Testing Hyperactive Faults in Asynchronous Circuits / Lioy, Antonio; Maino, F.; Odasso, G.; Poncino, Massimo. - (1995). (Intervento presentato al convegno IEEE Pacific Rim Conference on Communications, Computer and Signal Processing) [10.1109/PACRIM.1995.519572]. | 1-gen-1995 | LIOY, ANTONIOPONCINO, MASSIMO + | - |
Estimating Worst-Case Power Consumption of Combinational Circuits Modeled as Neural Networks / Macii, Enrico; Poncino, Massimo. - (1995), pp. 60-65. (Intervento presentato al convegno GLS-VLSI-95: IEEE/ACM 5th Great Lakes Symposium on VLSI tenutosi a Buffalo, NY) [10.1109/GLSV.1995.516025]. | 1-gen-1995 | MACII, EnricoPONCINO, MASSIMO | - |
Simplifying Sequential Gate-Level Test Generation Through Exploitation of High-Level Information / Ferrandi, F; Fummi, F; Macii, Enrico; Poncino, Massimo; Sciuto, D.. - (1996), pp. 154-158. (Intervento presentato al convegno ETW-96: IEEE 1996 European Test Workshop tenutosi a Montpellier, France). | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO + | - |
Power Consumption of Static and Dynamic CMOS Circuits: A Comparative Study / Macii, Enrico; Poncino, Massimo. - (1996), pp. 425-427. (Intervento presentato al convegno ASICON-96: IEEE 1996 International Conference on ASIC tenutosi a Shangai, China) [10.1109/ICASIC.1996.562843]. | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO | - |
BDD-Based Testability Estimation of VHDL Designs / Ferrandi, F; Fummi, F; Macii, Enrico; Poncino, Massimo; Sciuto, D.. - (1996), pp. 444-449. (Intervento presentato al convegno EuroVHDL-96: IEEE 1996 European VHDL Conference tenutosi a Geneva, Switzerland) [10.1109/EURDAC.1996.558241]. | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO + | - |
Enhancing FSM Traversal by Temporary Re-Encoding / Cabodi, Gianpiero; Camurati, Paolo Enrico; Lavagno, Luciano; Macii, Enrico; Poncino, Massimo; Quer, Stefano; E., Sentovich. - (1996), pp. 6-11. (Intervento presentato al convegno ICCD'96: IEEE International Conference on Computer Design tenutosi a Austin nel October 1996) [10.1109/ICCD.1996.563524]. | 1-gen-1996 | CABODI, GianpieroCAMURATI, Paolo EnricoLAVAGNO, LucianoMACII, EnricoPONCINO, MASSIMOQUER, Stefano + | - |
Automatic State Space Decomposition for Approximate FSM Traversal Based on Circuit Structural Analysis / Cho, H.; Hachtel, G. D.; Macii, Enrico; Poncino, Massimo; Somenzi, F.. - In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070. - CAD-15:(1996), pp. 1451-1464. [10.1109/43.552079] | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO + | - |
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques / Ferrandi, F.; Fummi, F.; Macii, Enrico; Poncino, Massimo; Sciuto, D.. - (1996), pp. 208-213. (Intervento presentato al convegno GLS-VLSI-96, 6th IEEE/ACM Great Lakes Symposium on VLSI tenutosi a Ames (IA, USA)) [10.1109/GLSV.1996.497621]. | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO + | - |
Using Symbolic Rademacher-Walsh Spectral Transforms to Evaluatethe Agreement Between Boolean Functions / Macii, Enrico; Poncino, Massimo. - In: IEE PROCEEDINGS. COMPUTERS AND DIGITAL TECHNIQUES. - ISSN 1350-2387. - 143:(1996), pp. 64-68. | 1-gen-1996 | MACII, EnricoPONCINO, MASSIMO | - |
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