337 | -- | 338 | I. Harris, D. Pradhan. Guest Editorial Special Section on Design Verification and Validation |
339 | -- | 352 | Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja. MMV: A Metamodeling Based Microprocessor Validation Environment |
353 | -- | 364 | Panagiotis Manolios, Sudarshan K. Srinivasan. A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification |
365 | -- | 375 | Shih-Chieh Wu, Chun-Yao Wang, Yung-Chih Chen. Novel Probabilistic Combinational Equivalence Checking |
376 | -- | 387 | Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu. Simulation Bounds for Equivalence Verification of Polynomial Datapaths Using Finite Ring Algebra |
388 | -- | 396 | Jayanta Bhadra, Ekaterina Trofimova, Magdy S. Abadir. Validating Power Architecture:::TM::: Technology-Based MPSoCs Through Executable Specifications |
397 | -- | 407 | Alfredo Benso, Stefano Di Carlo, Paolo Prinetto, Yervant Zorian. IEEE Standard 1500 Compliance Verification for Embedded Cores |
408 | -- | 421 | Siva Kumar Sastry Hari, Vishnu Vardhan Reddy Konda, V. Kamakoti, Vivekananda M. Vedula, K. S. Maneperambil. Automatic Constraint Based Test Generation for Behavioral HDL Models |
422 | -- | 431 | David de Andrés, Juan Carlos Ruiz, Daniel Gil, Pedro J. Gil. Fault Emulation for Dependability Evaluation of VLSI Systems |
432 | -- | 443 | Philip Y. Paik, Vamsee K. Pamula, Krishnendu Chakrabarty. Adaptive Cooling of Integrated Circuits Using Digital Microfluidics |
444 | -- | 455 | Yuh-Fang Tsai, Feng Wang 0004, Yuan Xie, Narayanan Vijaykrishnan, Mary Jane Irwin. Design Space Exploration for 3-D Cache |
456 | -- | 465 | Jonggab Kil, Jie Gu, Chris H. Kim. A High-Speed Variation-Tolerant Interconnect Technique for Sub-Threshold Circuits Using Capacitive Boosting |
466 | -- | 475 | Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel Gajski. An Interactive Design Environment for C-Based High-Level Synthesis of RTL Processors |
476 | -- | 487 | Eric Karl, David Blaauw, Dennis Sylvester, Trevor N. Mudge. Multi-Mechanism Reliability Modeling and Management in Dynamic Systems |
488 | -- | 492 | Zhiyu Liu, Volkan Kursun. Characterization of a Novel Nine-Transistor SRAM Cell |