Please give the current topics in digital VLSI design for research work

1. Formal Verification: BDD-based model checking, SAT-based bounded model checking, fast decision procedures, abstraction-refinement, usability issues. 2. VLSI Design: Circuits to speed up on-chip data transfers, alleviate on-chip cross-talk, extreme low power circuits, and circuits for low leakage