⊕

Research Projects

Formal verification.

Logic encryption.

VLSI physical design automation.