Rajdeep Mukherjee : Publications

Abstract Interpretation Perspective of Bounded Model Checking Using CDCL

Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller and Daniel Kroening

In VSTTE (Submitted). 2017.

Details about Abstract Interpretation Perspective of Bounded Model Checking Using CDCL | BibTeX data for Abstract Interpretation Perspective of Bounded Model Checking Using CDCL

Model Checking Using Abstract Reasoning

Rajdeep Mukherjee

In ACM SIGDA PhD Forum‚ Design Automation Conference. 2017.

Details about Model Checking Using Abstract Reasoning | BibTeX data for Model Checking Using Abstract Reasoning

Formal Techniques for Effective Co−verification of HW/SW Co−designs

Rajdeep Mukherjee‚ Mitra Purandare‚ Raphael Polig and Daniel Kroening

In DAC. 2017.

Details about Formal Techniques for Effective Co−verification of HW/SW Co−designs | BibTeX data for Formal Techniques for Effective Co−verification of HW/SW Co−designs

Lifting CDCL to Template Based Abstract Domains for Program Verification

Rajdeep Mukherjee‚ Peter Schrammel‚ Leopold Haller‚ Daniel Kroening and Tom Melham

In ATVA (Submitted). 2017.

Details about Lifting CDCL to Template Based Abstract Domains for Program Verification | BibTeX data for Lifting CDCL to Template Based Abstract Domains for Program Verification

Beyond Word level Hardware Verification

Rajdeep Mukherjee

In Doctoral Symposium‚ FM. 2016.

Details about Beyond Word level Hardware Verification | BibTeX data for Beyond Word level Hardware Verification

v2c − A Verilog to C Translator

Rajdeep Mukherjee‚ Michael Tautschnig and Daniel Kroening

In TACAS. Pages 580–586. 2016.

Details about v2c − A Verilog to C Translator | BibTeX data for v2c − A Verilog to C Translator | DOI (10.1007/978-3-662-49674-9_38)

Equivalence Checking of a Floating−Point Unit Against a High−Level C Model

Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham

In FM. Pages 551–558. 2016.

Details about Equivalence Checking of a Floating−Point Unit Against a High−Level C Model | BibTeX data for Equivalence Checking of a Floating−Point Unit Against a High−Level C Model | DOI (10.1007/978-3-319-48989-6_33)

Unbounded safety verification for hardware using software analyzers

Rajdeep Mukherjee‚ Peter Schrammel‚ Daniel Kroening and Tom Melham

In DATE. Pages 1152–1155. 2016.

Details about Unbounded safety verification for hardware using software analyzers | BibTeX data for Unbounded safety verification for hardware using software analyzers

Equivalence Checking Using Trace Partitioning

Rajdeep Mukherjee‚ Daniel Kroening‚ Tom Melham and Mandayam K. Srivas

In IEEE Computer Society Annual Symposium on VLSI‚ (ISVLSI). Pages 13–18. 2015.

Details about Equivalence Checking Using Trace Partitioning | BibTeX data for Equivalence Checking Using Trace Partitioning | DOI (10.1109/ISVLSI.2015.110)

Hardware Verification Using Software Analyzers

Rajdeep Mukherjee‚ Daniel Kroening and Tom Melham

In IEEE Computer Society Annual Symposium on VLSI‚ (ISVLSI). Pages 7–12. 2015.

Details about Hardware Verification Using Software Analyzers | BibTeX data for Hardware Verification Using Software Analyzers | DOI (10.1109/ISVLSI.2015.107)

How Effecient are Software Verifiers for Hardware ?

Rajdeep Mukherjee

In PhD Forum‚ FMCAD. 2015.

Details about How Effecient are Software Verifiers for Hardware ? | BibTeX data for How Effecient are Software Verifiers for Hardware ?