Proceedings of the IEEE, Vol.103 No.11, November 2015
1.) Design Automation of Electronic Systems: Past Accomplishments and Challenges AHead. --R. Brayton, L.P. Sangiovanni-Vincentelli, T. Villa.
2.) Boolean Computation Using Self-Sustaining Nonliniear Oscillators. --J. Roychowdhury.
3.) Toeplitz-Plus-Hankel Matrix Recovery for Green's Function Computations on General Substrates. --R. Y. Zhang, J. K. White.
4.) Progress and Challenges in VLSI Placement Research. --I. L. markov, J. Hu, M. C. Kim.
5.) Technology-DpendentLogic Optimization. --R. Murgai.
6.) Boolean Satisfiability Solvers and Their Applications in Model Chcking. --Y. Vizel, G. Weissenbacher, S. Malik.
7.) Coombining Induction, Deduction and Sructure for Verification and Synthesis. --S. A. Seshia.
8.) Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design. --M. Fujita.
9.) RTL Synthesis: From Logic Synthesis to Atomatic Pipelining. --J. Cortadella, M. Galceran-Oms, M. Kishinevsky, S. S. Sapatnekar.
10.) Application of a Key-Value Paradigm to Logic Factoring. --V. N. Kravets.
11.) System Design Automation: Challenges and Limitations. --J. Sifakis.
12.) A Platform-Basd Design Methodology ith Contracts and Related Tools for the Design of Cyber-Physical SYstems. --P. Nuzzo, A. L. Sangiovanni-Vincentelli, D. Bresolin, L. Geretti, T. Villa.
13.) From Latency-Insensitive Design to Communication-Based Systems-Level Design. --L. P. Carloni.
14.) Component-Based Design by Solving Language Equations. -T. Villa, A. Petrenko, N. Yevtushenko, A. Mishchenko, R. Brayton.
15.) New Logic Synthesis as Nanotechnoology Enabler. --L. Amaru, P. E. Gaillaron, S. Mitra, G. De Micheli.
16.) A Framwork for Genetic Logic Synthesis. --P. Vaidyanathan, B. S. Der, S. Bhatia, N. Roehner.
2.) Boolean Computation Using Self-Sustaining Nonliniear Oscillators. --J. Roychowdhury.
3.) Toeplitz-Plus-Hankel Matrix Recovery for Green's Function Computations on General Substrates. --R. Y. Zhang, J. K. White.
4.) Progress and Challenges in VLSI Placement Research. --I. L. markov, J. Hu, M. C. Kim.
5.) Technology-DpendentLogic Optimization. --R. Murgai.
6.) Boolean Satisfiability Solvers and Their Applications in Model Chcking. --Y. Vizel, G. Weissenbacher, S. Malik.
7.) Coombining Induction, Deduction and Sructure for Verification and Synthesis. --S. A. Seshia.
8.) Toward Unification of Synthesis and Verification in Topologically Constrained Logic Design. --M. Fujita.
9.) RTL Synthesis: From Logic Synthesis to Atomatic Pipelining. --J. Cortadella, M. Galceran-Oms, M. Kishinevsky, S. S. Sapatnekar.
10.) Application of a Key-Value Paradigm to Logic Factoring. --V. N. Kravets.
11.) System Design Automation: Challenges and Limitations. --J. Sifakis.
12.) A Platform-Basd Design Methodology ith Contracts and Related Tools for the Design of Cyber-Physical SYstems. --P. Nuzzo, A. L. Sangiovanni-Vincentelli, D. Bresolin, L. Geretti, T. Villa.
13.) From Latency-Insensitive Design to Communication-Based Systems-Level Design. --L. P. Carloni.
14.) Component-Based Design by Solving Language Equations. -T. Villa, A. Petrenko, N. Yevtushenko, A. Mishchenko, R. Brayton.
15.) New Logic Synthesis as Nanotechnoology Enabler. --L. Amaru, P. E. Gaillaron, S. Mitra, G. De Micheli.
16.) A Framwork for Genetic Logic Synthesis. --P. Vaidyanathan, B. S. Der, S. Bhatia, N. Roehner.
R. Brayton - Personal Name
P. Nuzzo - Personal Name
J. Sifakis - Personal Name
V. N. Kravets - Personal Name
J. Cortadella - Personal Name
M. Fujita - Personal Name
P. Vaidyanathan - Personal Name
L. Amaru - Personal Name
T. Villa - Personal Name
S. A. Seshia - Personal Name
Y. Vizel - Personal Name
R. Murgai - Personal Name
I. L. Markov - Personal Name
R. Y. Zhang - Personal Name
J. Roychowdhury - Personal Name
L. P. Carloni - Personal Name
P. Nuzzo - Personal Name
J. Sifakis - Personal Name
V. N. Kravets - Personal Name
J. Cortadella - Personal Name
M. Fujita - Personal Name
P. Vaidyanathan - Personal Name
L. Amaru - Personal Name
T. Villa - Personal Name
S. A. Seshia - Personal Name
Y. Vizel - Personal Name
R. Murgai - Personal Name
I. L. Markov - Personal Name
R. Y. Zhang - Personal Name
J. Roychowdhury - Personal Name
L. P. Carloni - Personal Name
Vol.103 No.11, November 2015
PSD 0046
0018-9219
Prosiding
Prosiding
Inggris
Institute of Electrical and Electronics Engineers
2015
New York
275 hlm
LOADING LIST...
LOADING LIST...