Travelled to:1 × France
1 × Germany
Collaborated with:K.Banerjee D.Sarkar A.Mondal P.P.Chakrabarti S.Pandit S.Kar A.Patra
Talks about:propag (2) time (2) framework (1) translat (1) synthesi (1) approach (1) variabl (1) minimum (1) hardwar (1) equival (1)
Person: Chittaranjan A. Mandal
DBLP: Mandal:Chittaranjan_A=
Contributed to:
2015
20062004Wrote 3 papers:
- SCAM-2015-BanerjeeMS #equivalence #framework #validation
- A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs (KB, CAM, DS), pp. 247–252.
- DATE-2006-PanditKMP #hardware #higher-order #synthesis
- High level synthesis of higher order continuous time state variable filters with minimum sensitivity and hardware count (SP, SK, CAM, AP), pp. 1203–1204.
- DATE-v2-2004-MondalCM #analysis #approach #logic #using
- A New Approach to Timing Analysis Using Event Propagation and Temporal Logic (AM, PPC, CAM), pp. 1198–1203.