Travelled to:2 × USA
Collaborated with:S.Hangal S.Narayanan S.Chakravorty S.Ramesh S.Sonalkar V.D'Silva B.Vijayalakshmi
Talks about:toolset (1) hardwar (1) automat (1) system (1) invari (1) design (1) verif (1) model (1) iodin (1) infer (1)
Person: Naveen Chandra
DBLP: Chandra:Naveen
Contributed to:
2005
2004Wrote 2 papers:
- DAC-2005-HangalCNC #automation #design #hardware #invariant #named
- IODINE: a tool to automatically infer dynamic invariants for hardware designs (SH, NC, SN, SC), pp. 775–778.
- CAV-2004-RameshSDCV #modelling #tool support #verification
- A Toolset for Modelling and Verification of GALS Systems (SR, SS, VD, NC, BV), pp. 506–509.