457 | -- | 0 | Rajesh K. Gupta. Verification synergies |
461 | -- | 463 | Carl Pixley, Sharad Malik. Guest Editors Introduction: Exploring Synergies for Design Verification |
464 | -- | 471 | Martin Zambaldi, Wolfgang Ecker, Renate Henftling, Matthias Bauer. A Layered Adaptive Verification Platform for Simulation, Test, and Emulation |
472 | -- | 482 | Serdar Tasiran, Yuan Yu, Brannon Batson. Linking Simulation with Formal Verification at a Higher Level |
484 | -- | 493 | Young-Il Kim, Chong-Min Kyung. TPartition: Testbench Partitioning for Hardware-Accelerated Functional Verification |
494 | -- | 502 | Jayanta Bhadra, Narayanan Krishnamurthy, Magdy S. Abadir. Enhanced Equivalence Checking: Toward a Solidarity of Functional Verification and Manufacturing Test Generation |
504 | -- | 512 | Shuo Sheng, Michael S. Hsiao. Success-Driven Learning in ATPG for Preimage Computation |
514 | -- | 523 | Ioannis Papaefstathiou. Titan II: An IPcomp Processor for 10-Gbps Networks |
524 | -- | 535 | Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli. On-Chip Self-Calibrating Communication Techniques Robust to Electrical Parameter Variations |
536 | -- | 543 | Marcel A. Kossel, Martin L. Schmatz. Jitter Measurements of High-Speed Serial Links |
544 | -- | 551 | Glenn H. Chapman, Sunjaya Djaja, Desmond Y. H. Cheung, Yves Audet, Israel Koren, Zahava Koren. A Self-Correcting Active Pixel Sensor Using Hardware and Software Correction |
552 | -- | 562 | Fernanda Lima Kastensmidt, Gustavo Neuberger, Renato Fernandes Hentschke, Luigi Carro, Ricardo Reis. Designing Fault-Tolerant Techniques for SRAM-Based FPGAs |
563 | -- | 571 | Naran Sirisantana, Bipul Chandra Paul, Kaushik Roy. Enhancing Yield at the End of the Technology Roadmap |
572 | -- | 586 | Ikhwan Lee, Yongseok Choi, Youngjin Cho, Yongsoo Joo, Hyeonmin Lim, Hyung Gyu Lee, Hojun Shim, Naehyuck Chang. Web-Based Energy Exploration Tool for Embedded Systems |
590 | -- | 591 | . Book Reviews |
592 | -- | 593 | Victor Berman. System-level design language standard needed |
594 | -- | 595 | Vladimir Hahanov, Raimund Ubar, Subhasish Mitra. Conference Reports |
596 | -- | 0 | . DATC Newsletter |
608 | -- | 0 | Scott Davidson. Design illiteracy |