| 551 | TROY: Track Router with Yield-driven Wire Planning (10.1109/dac.2007.375124) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 552 | Synthesizing SVA Local Variables for Formal Verification (10.1109/dac.2007.375128) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 553 | Accurate Waveform Modeling using Singular Value Decompositio… (10.1109/dac.2007.375142) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 554 | SBPOR: Second-Order Balanced Truncation for Passive Order Re… (10.1109/dac.2007.375144) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 555 | Effects of Coupling Capacitance and Inductance on Delay Unce… (10.1109/dac.2007.375149) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 556 | Design for Verification in System-level Models and RTL (10.1109/dac.2007.375151) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 557 | Beyond Low-Order Statistical Response Surfaces: Latent Varia… (10.1109/dac.2007.375163) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 558 | NanoMap: An Integrated Design Optimization Flow for a Hybrid… (10.1109/dac.2007.375176) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 559 | Using Negative Edge Triggered FFs to Reduce Glitching Power… (10.1109/dac.2007.375180) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 560 | Single-Event-Upset (SEU) Awareness in FPGA Routing (10.1109/dac.2007.375181) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 561 | Fast Min-Cost Buffer Insertion under Process Variations (10.1109/dac.2007.375183) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 562 | Exact Combinatorial Optimization Methods for Physical Design… (10.1109/dac.2007.375184) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 563 | On-Chip Measurements Complementary to Design Flow for Integr… (10.1109/dac.2007.375196) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 564 | Improving Voltage Assignment by Outlier Detection and Increm… (10.1109/dac.2007.375209) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 565 | Confidence Scalable Post-Silicon Statistical Delay Predictio… (10.1109/dac.2007.375216) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 566 | CAD Implications of New Interconnect Technologies (10.1109/dac.2007.375230) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 567 | On Resolution Proofs for Combinational Equivalence (10.1109/dac.2007.375234) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 568 | Synthetic biology: from bacteria to stem cells (10.1109/dac.2007.375241) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 569 | An Embedded Coherent-Multithreading Multimedia Processor and… (10.1109/dac.2007.375246) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 570 | Analysis and Optimization of Sleep Modes in Subthreshold Cir… (10.1109/dac.2007.375253) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 571 | Nanometer Device Scaling in Subthreshold Circuits (10.1109/dac.2007.375254) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 572 | The KILL Rule for Multicore (10.1109/dac.2007.375264) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 573 | Implicitly Parallel Programming Models for Thousand-Core Mic… (10.1109/dac.2007.375265) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 574 | Interconnect and Communication Synthesis for Distributed Reg… (10.1109/dac.2007.375267) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |
| 575 | A Unified Approach to Canonical Form-based Boolean Matching (10.1109/dac.2007.375281) | Abstract References ORCID License | 47.71 | 2 | 0738-100X |