Pubblicazioni il cui periodico è "IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Numero di pubblicazioni : 56.

Articolo di rivista Lora, Michele; Vinco, Sara; Fraccaroli, Enrico; Quaglia, Davide; Fummi, Franco (2017)
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070

Articolo di rivista Vinco, Sara; Chen, Yukai; Fummi, Franco; Macii, Enrico; Poncino, Massimo (2017)
A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. PP n. 99, pp. 1-14. - ISSN 0278-0070

Articolo di rivista Riente, Fabrizio; Turvani, Giovanna; Vacca, Marco; Massimo Ruo Roch, ; Zamboni, Maurizio; Graziano, Mariagrazia (2017)
ToPoliNano: a CAD Tool for Nano Magnetic Logic. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. PP n. 99, p. 1. - ISSN 0278-0070
Web of Science: 0 - Scopus: 1
[img] [img]
Preview

Articolo di rivista Bolchini C.; Cassano L.; Garza P.; Quintarelli E.; Salice F. (2015)
An Expert CAD Flow for Incremental Functional Diagnosis of Complex Electronic Boards. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 34 n. 5, pp. 835-848. - ISSN 0278-0070
Web of Science: 3 - Scopus: 3

Articolo di rivista Zuolo, Lorenzo; Zambelli, Cristian; Micheloni, Rino; Indaco, Marco; Di Carlo, Stefano; Prinetto, Paolo; Bertozzi, Davide; Olivo, Piero (2015)
SSDExplorer: A Virtual Platform for Performance/Reliability-Oriented Fine-Grained Design Space Exploration of Solid State Drives. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 34 n. 10, pp. 1627-1638. - ISSN 0278-0070
Web of Science: 1 - Scopus: 5
[img]
Preview

Articolo di rivista Shin, Donghwa; Poncino, Massimo; Macii, Enrico; Chang, Naehyuck (2015)
A Statistical Model-Based Cell-to-Cell Variability Management of Li-ion Battery Pack. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 34 n. 2, pp. 252-265. - ISSN 0278-0070
Web of Science: 4 - Scopus: 5

Articolo di rivista Cinzia Bernardeschi ; Luca Cassano ; Andrea Domenici ; Luca Sterpone (2014)
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-based FPGAs. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 33 n. 9, pp. 1342-1355. - ISSN 0278-0070
Web of Science: 5 - Scopus: 6

Articolo di rivista Calimera A.; Loghi M.; Macii E.; Poncino M. (2014)
Dynamic Indexing: Leakage-Aging Co-Optimization for Caches. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 33 n. 2, pp. 251-264. - ISSN 0278-0070
Web of Science: 1 - Scopus: 3

Articolo di rivista Z. Mahmood; S. Grivet-Talocia; A. Chinea; G.C. Calafiore; L. Daniel (2014)
Efficient Localization Methods for Passivity Enforcement of Linear Dynamical Models. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 33 n. 9, pp. 1328-1341. - ISSN 0278-0070
Web of Science: 0 - Scopus: 1
[img]
Preview
[img]

Articolo di rivista Wei L.; Calimera A.; Macii A.; Macii E.; Nannarelli A.; Poncino M. (2013)
Layout-Driven Post-Placement Techniques for Temperature Reduction and Thermal Gradient Minimization. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 32 n. 3, pp. 406-418. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 3
[img]

Articolo di rivista Fabio L. Traversa; Fabrizio Bonani (2013)
Selective Determination of Floquet Quantities for the Efficient Assessment of Limit Cycle Stability and Oscillator Noise. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 32, pp. 313-317. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 7 - Scopus: 6
[img]

Articolo di rivista A. Acquaviva; N. Bombieri; F. Fummi; S. Vinco (2013)
Semi-Automatic Generation of Device Drivers for Rapid Embedded Platform Development. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 32 n. 9, pp. 1293-1306. - ISSN 0278-0070
Web of Science: 0 - Scopus: 0

Articolo di rivista Nocco S.; Quer S. (2010)
A Novel SAT-Based Approach to the Task Graph Cost-Optimal Scheduling Problem. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 29 n. 12, pp. 2027-2040. - ISSN 0278-0070
Web of Science: 2 - Scopus: 1
[img]
Preview

Articolo di rivista Cabodi G; Garcia L; Murciano M.; Nocco S; Quer S (2010)
Partitioning Interpolant-Based Verificationfor effective Unbounded Model Checking. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 29, pp. 382-395. - ISSN 0278-0070
Web of Science: 3 - Scopus: 5
[img]

Articolo di rivista Alimonda A; Carta S; Acquaviva A.; Pisano A; Benini L (2009)
A Feedback-Based Approach to DVFS in Data-Flow Applications. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 28 n. 11, pp. 1691-1704. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 20 - Scopus: 37
[img]

Articolo di rivista G. Cabodi; S. Nocco; Quer S. (2009)
Strengthening Model Checking Techniques with Inductive Invariants. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 28, pp. 154-158. - ISSN 0278-0070
Web of Science: 4 - Scopus: 7
[img]

Articolo di rivista Mulas F; Atienza D; Carta S; Acquaviva A.; Benini L; De Micheli G (2009)
Thermal Balancing Policy for Multiprocessor Stream Computing Platforms. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 28 n. 12, pp. 1870-1882. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 20 - Scopus: 38
[img]

Articolo di rivista P. Bernardi; E. Sanchez; M. Schillaci; G. Squillero; Sonza Reorda M. (2008)
An Effective technique for the Automatic Generation of Diagnosis-oriented Programs for Processor Cores. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 27, pp. 570-574. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 19 - Scopus: 23
[img]

Articolo di rivista Jordi Cortadella; Alex Kondratyev; Lavagno L.; Christos Sotiriou (2006)
Desynchronization: Synthesis of asynchronous circuits from synchronous specifications. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 25, pp. 1904-1921. - ISSN 0278-0070
Web of Science: 74 - Scopus: 106
[img]
Preview

Articolo di rivista Casu M.R.; Macchiarulo L (2006)
Floorplanning with wire pipelining in adaptive communication channels. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 12, pp. 2996-3004. - ISSN 0278-0070
Web of Science: 1 - Scopus: 1
[img]
Preview

Articolo di rivista Patel K; Benini L; Macii E.; Poncino M (2006)
Reducing conflict misses by application-specific reconfigurable indexing. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 25 n. 12, pp. 2626-2637. - ISSN 0278-0070
Web of Science: 3 - Scopus: 5

Articolo di rivista A. La Rosa; L. Lavagno; Passerone C. (2005)
Implementation of a UMTS Turbo-decoder on a dynamically reconfigurable platform. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 24, pp. 100-106. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 6 - Scopus: 12
[img]

Articolo di rivista J. Cortadella; A. Kondratyev; L. Lavagno; Passerone C.; Y. Watanabe (2005)
Quasi-static scheduling of independent tasks for reactive systems. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 24, pp. 1492-1514. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 10 - Scopus: 16
[img]

Articolo di rivista Casu M.R.; Macchiarulo L. (2005)
Throughput-driven floorplanning with wire pipelining. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 24, pp. 663-675. - ISSN 0278-0070
Web of Science: 9 - Scopus: 13
[img]
Preview

Articolo di rivista Babighian P.; Benini L.; Macii E. (2005)
A scalable algorithm for RTL insertion of gated clocks based on ODCs computation. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 24 n. 1, pp. 29-42. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 30 - Scopus: 55
[img]

Articolo di rivista D. Blaauw; Lavagno L. (2003)
Guest editorial. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 22(8). - ISSN 0278-0070
Scopus: 0

Articolo di rivista J. Cortadella; M. Kishinevsky; S. Burns; A. Kondratyev; Lavagno L.; K. Stevens; A. Taubin; A. Yakovlev (2002)
Lazy transition systems: application to timing optimization of asynchronous circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 21(2). - ISSN 0278-0070

Articolo di rivista Acquaviva A.; L. Benini; B. Ricco' (2001)
Software-controlled processor speed setting for low-power streaming multimedia. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 20, pp. 1283-1292. - ISSN 0278-0070
Web of Science: 5 - Scopus: 15

Articolo di rivista Benini L.; De Micheli G.; Lioy A.; Macii E.; Odasso G.; Poncino M. (2001)
Synthesis of Power-Managed Sequential Components Based on Computational Kernel Extraction. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 20 n. 9, pp. 1118-1131. - ISSN 0278-0070
Web of Science: 9 - Scopus: 9

Articolo di rivista Benini L.; Macii A.; Macii E.; Poncino M.; Scarsi R. (2000)
Architectures and Synthesis Algorithms for Power-Efficient Bus Interfaces. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19-9, pp. 969-980. - ISSN 0278-0070
Web of Science: 47 - Scopus: 55

Articolo di rivista Cabodi G.; Camurati P; Quer S (2000)
Improving symbolic reachability analysis by means of activity profiles. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19, pp. 1065-1075. - ISSN 0278-0070
Web of Science: 6 - Scopus: 7

Articolo di rivista Benini L.; De Micheli; Macii E.; Poncino M.; Scarsi R. (2000)
A Multi-Level Engine for Fast Power Simulation of Realistic Input Streams. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-19, pp. 470-486. - ISSN 0278-0070
Web of Science: 1 - Scopus: 1

Articolo di rivista Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (2000)
Symbolic Optimization of FSM Networks Based on Redundancy Identification and Removal. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 19. - ISSN 0278-0070

Articolo di rivista Ferrandi F.; Fummi F.; Macii E.; Poncino M.; Sciuto D. (2000)
Symbolic Optimization of Interacting Controllers Based on Redundancy Identification and Removal. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-19, pp. 60-772. - ISSN 0278-0070
Web of Science: 10 - Scopus: 12

Articolo di rivista J. Cortadella; M. Kishinevsky; A. Kondratyev; Lavagno L.; A. Yakovlev (1999)
Decomposition and technology mapping of speed-independent circuits using boolean relations. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18(9). - ISSN 0278-0070
Web of Science: 3 - Scopus: 8

Articolo di rivista G. Cabodi; P. Camurati; Quer S. (1999)
Improving the Efficiency of BDD--based operators through Partitioning. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18, pp. 545-556. - ISSN 0278-0070
Web of Science: 10 - Scopus: 14

Articolo di rivista F. Corno; P. Prinetto; M. Sonza Reorda; Violante M.; U. Glaeser; H.T. Vierhaus (1999)
SymFony: a hybrid topological-symbolic ATPG exploiting RT-level information. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18 n. 2, pp. 191-202. - ISSN 0278-0070
Web of Science: 3 - Scopus: 4

Articolo di rivista Balarin F.; Chiodo M.; Giusto P.; Hsieh H.; Lavagno L. (1999)
Synthesis of software programs for embedded control applications. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 18 n. 6, pp. 834-849. - ISSN 0278-0070
Web of Science: 37

Articolo di rivista Macii E.; Pedram M.; Somenzi F. (1998)
High-Level Power Modeling, Estimation, and Optimization. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-17, pp. 1061-1079. - ISSN 0278-0070
Web of Science: 98 - Scopus: 139

Articolo di rivista M. Kishinevsky; A. Kondratyev; Lavagno L.; A. Saldanha; A. Taubin (1998)
Partial scan delay fault testing of asynchronous circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 17(11). - ISSN 0278-0070
Web of Science: 13 - Scopus: 16

Articolo di rivista Benini L.; De Micheli G; Macii E.; Poncino M. (1998)
Telescopic Units: A New Paradigm for Performance Optimization of VLSI Designs. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-17, pp. 220-232. - ISSN 0278-0070
Web of Science: 45 - Scopus: 58

Articolo di rivista Macii E.; Plessier B.; Somenzi F (1997)
Formal Verification of Digital Systems by Reduction of Data Paths. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-16, pp. 1136-1156. - ISSN 0278-0070
Web of Science: 0 - Scopus: 2

Articolo di rivista Cabodi G; Camurati P. (1997)
Symbolic FSM Traversal based on the Transition Relation. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 16, pp. 448-457. - ISSN 0278-0070
Web of Science: 2 - Scopus: 4

Articolo di rivista Bahar R.I.; Cho H.; Hachtel G.D.; Macii E.; Somenzi F. (1997)
Symbolic Timing Analysis and Re-Synthesis for Low Power of Combinational Circuits Containing False Paths. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-16, pp. 1101-1115. - ISSN 0278-0070
Web of Science: 1 - Scopus: 3

Articolo di rivista J. Cortadella; M. Kishinevsky; A. Kondratyev; Lavagno L.; A. Yakovlev (1997)
A region-based theory for state assignment in asynchronous circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 16(8). - ISSN 0278-0070

Articolo di rivista Cho H.; Hachtel G.D.; Macii E.; Plessier B.; Somenzi F. (1996)
Algorithms for Approximate FSM Traversal Based on State SpaceDecomposition. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1465-1478. - ISSN 0278-0070
Web of Science: 27 - Scopus: 34

Articolo di rivista Cho H.; Hachtel G.D.; Macii E.; Poncino M.; Somenzi F. (1996)
Automatic State Space Decomposition for Approximate FSM Traversal Based on Circuit Structural Analysis. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1451-1464. - ISSN 0278-0070
Web of Science: 17 - Scopus: 20

Articolo di rivista Rebaudengo M.; Sonza Reorda M (1996)
GALLO: a Genetic Algorithm for Floorplan Area Optimization. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 15, No. 8, pp. 943-951. - ISSN 0278-0070
Web of Science: 30

Articolo di rivista Corno F.; Prinetto P; Rebaudengo M; Sonza Reorda M (1996)
GATTO: A Genetic Algorithm for Automatic Test Pattern Generation for Large Synchronous Sequential Circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 15(8), pp. 991-1000. - ISSN 0278-0070
Web of Science: 57 - Scopus: 64

Articolo di rivista Hachtel G.D.; Macii E.; Pardo A.; Somenzi F. (1996)
Markovian Analysis of Large Finite State Machines. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. CAD-15, pp. 1479-1493. - ISSN 0278-0070
Web of Science: 53 - Scopus: 75

Articolo di rivista K. Keutzer; Lavagno L.; A. Sangiovanni-Vincentelli (1995)
Synthesis for testability techniques for asynchronous circuits. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 14(12). - ISSN 0278-0070
Web of Science: 3 - Scopus: 1

Articolo di rivista Lavagno L.; K. Keutzer; A. Sangiovanni-Vincentelli (1995)
Synthesis of hazard-free asynchronous circuits with bounded wire delays. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070
Web of Science: 12 - Scopus: 8

Articolo di rivista Lavagno L.; C.W. Moon; R.K. Brayton; A. Sangiovanni-Vincentelli (1995)
An efficient heuristic procedure for solving the state assignment problem for event-based specifications. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. - ISSN 0278-0070
Web of Science: 3 - Scopus: 5

Articolo di rivista G. Ghione,F. Filicori (1993)
A computationally efficient unified approach to the numerical analysis of the sensitivity and noise of semiconductor devices. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 12, pp. 425-438. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 33 - Scopus: 29
[img]

Articolo di rivista Lavagno L.; S. Malik; R.K. Brayton; A. Sangiovanni-Vincentelli (1992)
Symbolic minimization of multilevel logic and the input encoding problem. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 11(7). - ISSN 0278-0070
Web of Science: 12 - Scopus: 13

Articolo di rivista Somenzi F.; Gai S.; Mezzalama M.; Prinetto P. (1984)
PART: Programmable Array Testing Based on a Partitioning Algorithm. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 3 n. 2, pp. 142-149. - ISSN 0278-0070 [Disponibilità ristretta]
Web of Science: 5 - Scopus: 5
[img]

Questa lista è stata generata il Fri Sep 22 05:08:42 2017 CEST.