Yashdeep Godhal

Identifiers

• name variant Yashdeep Godhal 0.60 · backfill

Papers (1)

1. Synthesis of AMBA AHB from Formal Specification cs.LO · 2010 · author #1

Mentions

• 1001.2811 #1 · backfill · confidence 0.70 Yashdeep Godhal

Frequent Coauthors

• Krishnendu Chatterjee 1 shared papers
• Thomas A. Henzinger 1 shared papers