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 × 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 DBLP: Mandal:Chittaranjan_A=

Contributed to:

SCAM 20152015
DATE 20062006
DATE v2 20042004

Wrote 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.

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.