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 × Denmark
1 × USA
2 × France
Collaborated with:
K.Schneider T.Kropf D.Eisenbiegler C.Blumenröhr
Talks about:
control (2) path (2) construct (1) synthesi (1) sequenti (1) approach (1) hardwar (1) generic (1) correct (1) circuit (1)

Person: Ramayya Kumar

DBLP DBLP: Kumar:Ramayya

Contributed to:

ED&TC 19971997
CADE 19921992
CAV 19911991

Wrote 4 papers:

EDTC-1997-EisenbieglerKB #approach #correctness #towards
A constructive approach towards correctness of synthesis-application within retiming (DE, RK, CB), pp. 427–431.
EDAC-1994-SchneiderKK #verification
Control Path Oriented Verification of Sequential Generic Circuits with Control and Data Path (KS, TK, RK), pp. 648–652.
CADE-1992-SchneiderKK #proving
The FAUST — Prover (KS, RK, TK), pp. 766–770.
CAV-1991-SchneiderKK #automation #hardware #proving
Automating Most Parts of Hardware Proofs in HOL (KS, RK, TK), pp. 365–375.

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.