4 works on record
Cross-talk noise immune VLSI design using regular layout fabrics
2001
Synthesis of finite state machines
Logic Minimization Algorithms for VLSI Synthesis
The Unknown Component Problem
