S. Devadas

• Sequential logic synthesis