On the Construction of Rectilinear Steiner Minimum Trees in the Presence of Obstacles
System-Level Modeling and Synthesis Techniques for Flow-Based Microfluidic Large-Scale Integration Biochips
Parallel Discrete Event Simulation for ESL Design
A Novel High-Precision, Low-Overhead Embedded Test Structure for Path Delay Measurement
Semiconductor Design/Technology Co-Optimization and Design-Centric Assessment of Technology
Power Delivery Efficiency Enhancement of Mobile Systems with DVS-Enabled OLED Displays
Nanomagnet Logic: Architectures, Design, and Benchmarking
Reconciliation of Heterogeneous Embedded System Domains to Gain a Homogeneous SW Representation
Improving the Quality of Omega-regular Synthesis
Hybrid Wireless NoC Architectures
Methods for Solving Modern, Scale-Borne Problems in VLSI Physical Design
Scalable SPICE-Accurate Nonlinear Circuit Simulation with On-the-Fly Support-Circuit Preconditioners
Nanomagnet Logic: From Devices to Architectures
Engineering Efficient Computer Algebra Techniques for Scalable Formal Verification of Arithmetic Circuits
Trace-Based Post-Silicon Validation for VLSI Circuits
Architecture-Level Design using Emerging Non-Volatile Memories
Emerging Non-volatile Memory and Their Impacts
System-level Validation of Multicore Architectures
Emerging Non-Volatile Memories: From Devices, Circuits to Architectures
Energy-Efficient Reconfigurable Memory Hierarchy Design with Emerging Technologies
Countermeasures againt Fault Attacks on Cryptosystem: Error Detection Techniques
Improving Validation Coverage Metrics to Account for Limited Observability