Kothanda Umamageswaran

1974

• Formal semantics and proof techniques for optimizing VHDL models