I. S. Dhingra

• Formal validation of an integrated circuit design style