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 × United Kingdom
3 × USA
Collaborated with:
M.Kishinevsky A.Mishchenko R.K.Brayton A.Gotmanov A.Kuehlmann
Talks about:
communic (2) fabric (2) combin (2) microarchitectur (1) synthesi (1) deadlock (1) resolut (1) generat (1) freedom (1) equival (1)

Person: Satrajit Chatterjee

DBLP DBLP: Chatterjee:Satrajit

Contributed to:

VMCAI 20112011
CAV 20102010
DAC 20072007
DAC 20062006

Wrote 4 papers:

VMCAI-2011-GotmanovCK #communication #verification
Verifying Deadlock-Freedom of Communication Fabrics (AG, SC, MK), pp. 214–231.
CAV-2010-ChatterjeeK #architecture #automation #communication #generative #induction #invariant #modelling
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics (SC, MK), pp. 321–338.
DAC-2007-ChatterjeeMBK #equivalence #on the #proving
On Resolution Proofs for Combinational Equivalence (SC, AM, RKB, AK), pp. 600–605.
DAC-2006-MishchenkoCB #fresh look #logic #synthesis
DAG-aware AIG rewriting a fresh look at combinational logic synthesis (AM, SC, RKB), pp. 532–535.

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.