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: Kumar:Ramayya
Contributed to:
19971994
1992
1991Wrote 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.