BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × USA
Collaborated with:
S.Hangal N.Chandra S.Chakravorty R.Srinivasan R.P.Kunda M.E.Levitt S.Bozorgui-Nesbat
Talks about:
microprocessor (1) methodolog (1) diagnosi (1) sparctm (1) hardwar (1) automat (1) invari (1) design (1) ultra (1) iodin (1)

Person: Sridhar Narayanan

DBLP DBLP: Narayanan:Sridhar

Contributed to:

DAC 20052005
ED&TC 19971997

Wrote 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.
EDTC-1997-NarayananSKLB #fault
A fault diagnosis methodology for the UltraSPARCTM-I microprocessor (SN, RS, RPK, MEL, SBN), pp. 494–500.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.