Design and verification methodologies for high-performance power distribution networks, Software/hardware co-design for embedded system based FPGA platforms, Circuit Simulation and synthesis (optimization and sizing) for mixed-signal/RF/analog circuits