Chittaranjan A. Mandal

Holger Giese

Acta Informatica, 2022

2019

Verification of parallelising transformations of KPN models.

[BibT_eX]

[DOI]

IET Cyper-Phys. Syst.: Theory & Appl., 2019

Equivalence checking of Petri net models of programs using static and dynamic cut-points.

[BibT_eX]

[DOI]

Acta Informatica, 2019

SamaTulyataOne: A Path Based Equivalence Checker.

[BibT_eX]

[DOI]

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

2018

Exploring the Scope of Unconstrained Via Minimization by Recursive Floorplan Bipartitioning.

[BibT_eX]

[DOI]

CoRR, 2018

Early Routability Assessment in VLSI Floorplans: A Generalized Routing Model.

[BibT_eX]

[DOI]

CoRR, 2018

STAIRoute: Early Global Routing using Monotone Staircases for Congestion Reduction.

[BibT_eX]

[DOI]

CoRR, 2018

2017

Deriving Bisimulation Relations from Path Extension Based Equivalence Checkers.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Deriving bisimulation relations from path based equivalence checkers.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Distributed construction of minimum Connected Dominating Set in wireless sensor network using two-hop information.

[BibT_eX]

[DOI]

Jasaswi Prasad Mohanty

Comput. Networks, 2017

An Equivalence Checking Framework for Array-Intensive Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2017

SamaTulyata: An Efficient Path Based Equivalence Checking Tool.

[BibT_eX]

[DOI]

Santonu Sarkar

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

A Path Construction Algorithm for Translation Validation Using PRES+ Models.

[BibT_eX]

[DOI]

Krishnam Raju Duddu

Parallel Process. Lett., 2016

Construction of minimum connected dominating set in wireless sensor networks using pseudo dominating set.

[BibT_eX]

[DOI]

Jasaswi Prasad Mohanty

Ariyam Das

Ad Hoc Networks, 2016

A Novel EPE Aware Hybrid Global Route Planner after Floorplanning.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

An early global routing framework for uniform wire distribution in SoCs.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

Translation validation of loop and arithmetic transformations in the presence of recurrences.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

An efficient path based equivalence checking for Petri net based models of programs.

[BibT_eX]

[DOI]

Proceedings of the 9th India Software Engineering Conference, 2016

2015

Determining Equivalence of Expressions: An Automated Evaluator's Perspective.

[BibT_eX]

[DOI]

K. K. Sharma

Proceedings of the Seventh IEEE International Conference on Technology for Education, 2015

A translation validation framework for symbolic value propagation based equivalence checking of FSMDAs.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Working Conference on Source Code Analysis and Manipulation, 2015

Establishing Equivalence of Expressions: An Automated Evaluator Designer's Perspective.

[BibT_eX]

[DOI]

K. K. Sharma

Proceedings of the Mining Intelligence and Knowledge Exploration, 2015

A New Method for Defining Monotone Staircases in VLSI Floorplans.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Validating SPARK: High Level Synthesis Compiler.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

A Path-based Equivalence Checking Method for Petri Net based Models of Programs.

[BibT_eX]

[DOI]

Proceedings of the ICSOFT-EA 2015, 2015

Poster: An Efficient Equivalence Checking Method for Petri Net Based Models of Programs.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Verification of Code Motion Techniques Using Value Propagation.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Global Routing Using Monotone Staircases with Minimal Bends.

[BibT_eX]

[DOI]

Proceedings of the 2014 27th International Conference on VLSI Design, 2014

A BDD based secure hardware design method to guard against power analysis attacks.

[BibT_eX]

[DOI]

Partha De

Proceedings of the 18th International Symposium on VLSI Design and Test, 2014

Extending the scope of translation validation by augmenting path based equivalence checkers with SMT solvers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on VLSI Design and Test, 2014

Circuits and Synthesis Mechanism for Hardware Design to Counter Power Analysis Attacks.

[BibT_eX]

[DOI]

Partha De

Debdeep Mukhopadhyay

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Verification of Loop and Arithmetic Transformations of Array-Intensive Behaviors.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

Verification of KPN Level Transformations.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

STAIRoute: Global routing using monotone staircase channels.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Designing DPA Resistant Circuits Using BDD Architecture and Bottom Pre-charge Logic.

[BibT_eX]

[DOI]

Partha De

Debdeep Mukhopadhyay

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

Determining the User Intent Behind Web Search Queries by Learning from Past User Interactions with Search Results.

[BibT_eX]

[DOI]

Ariyam Das

Proceedings of the 19th International Conference on Management of Data, 2013

2012

Formal verification of code motion techniques using data-flow-driven equivalence checking.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2012

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

[BibT_eX]

[DOI]

Krishna Paul

J. Low Power Electron., 2012

A Faster Hierarchical Balanced Bipartitioner for VLSI Floorplans Using Monotone Staircase Cuts.

[BibT_eX]

[DOI]

Sridhar H. Rangarajan

Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012

Workload Driven Power Domain Partitioning.

[BibT_eX]

[DOI]

Arun Dobriyal

Rahul Gonnabattula

Pallab Dasgupta

Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012

Translation Validation for PRES+ Models of Parallel Behaviours via an FSMD Equivalence Checker.

[BibT_eX]

[DOI]

Proceedings of the Progress in VLSI Design and Test - 16th International Symposium, 2012

A Value Propagation Based Equivalence Checking Method for Verification of Code Motion Techniques.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Electronic System Design, 2012

2011

A Methodology for Generation of Performance Models for the Sizing of Analog High-Level Topologies.

[BibT_eX]

[DOI]

VLSI Design, 2011

An improved greedy construction of minimum connected dominating sets in wireless networks.

[BibT_eX]

[DOI]

Ariyam Das

Manish Aasawat

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Verification of Register Transfer Level Low Power Transformations.

[BibT_eX]

[DOI]

Chitta Mandal

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011

Equivalence Checking of Array-Intensive Programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2011

POWER-SIM: An SOC Simulator for Estimating Power Profiles of Mobile Workloads.

[BibT_eX]

[DOI]

Krishna Paul

Proceedings of the International Symposium on Electronic System Design, 2011

2010

Minimum Connected Dominating Set Using a Collaborative Cover Heuristic for Ad Hoc Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2010

Verification of Datapath and Controller Generation Phase in High-Level Synthesis of Digital Circuits.

[BibT_eX]

[DOI]

Chitta Mandal

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

An automated high-level topology generation procedure for continuous-time SigmaDelta modulator.

[BibT_eX]

[DOI]

Integr., 2010

A BDD-based approach to design power-aware on-line detectors for digital circuits.

[BibT_eX]

[DOI]

Gopal Paul

Santosh Biswas

Bhargab B. Bhattacharya

Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

A BDD-Based Design of an Area-Power Efficient Asynchronous Adder.

[BibT_eX]

[DOI]

Gopal Paul

Rohit Reddy

Bhargab B. Bhattacharya

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010

Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010

2009

Efficient clusterhead rotation <i>via</i> domatic partition in self-organizing sensor networks.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2009

Rotation of CDS via Connected Domatic Partition in Ad Hoc Sensor Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2009

Systematic Methodology for High-Level Performance Modeling of Analog Systems.

[BibT_eX]

[DOI]

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

Location Updates of Mobile Node in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the MSN 2009, 2009

2008

A Fast Exploration Procedure for Analog High-Level Specification Translation.

[BibT_eX]

[DOI]

Sumit K. Bhattacharya

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

An Equivalence-Checking Method for Scheduling Verification in High-Level Synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008

2007

A System for Automatic Evaluation of C Programs: Features and Interfaces.

[BibT_eX]

[DOI]

Amit Kumar Mandal

Int. J. Web Based Learn. Teach. Technol., 2007

Recipient Specific Electronic Cash - A Scheme for Recipient Specific Yet Anonymous and Tranferable Electronic Cash.

[BibT_eX]

Proceedings of the WEBIST 2007, 2007

Automatic Detection of Human Fall in Video.

[BibT_eX]

[DOI]

Vinay Vishwakarma

Shamik Sural

Proceedings of the Pattern Recognition and Machine Intelligence, 2007

[BibT_eX]

[DOI]

Proceedings of the 2007 International Conference on Computing: Theory and Applications (ICCTA 2007), 2007

Hand-in-hand verification of high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

ClusterHead Rotation via Domatic Partition in Self-Organizing Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2007), 2007

2006

Animating Algorithms over the Web.

[BibT_eX]

Proceedings of the WEBIST 2006, 2006

A System for Automatic Evaluation of Programs for Correctness and Performance.

[BibT_eX]

[DOI]

Amit Kumar Mandal

Proceedings of the Web Information Systems and Technologies, International Conferences, 2006

Verification of Scheduling in High-level Synthesis.

[BibT_eX]

[DOI]

S. R. Pentakota

Proceedings of the 2006 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2006), 2006

A Formal Verification Method of Scheduling in High-level Synthesis.

[BibT_eX]

[DOI]

S. R. Pentakota

Proceedings of the 7th International Symposium on Quality of Electronic Design (ISQED 2006), 2006

A formal approach for high level synthesis of linear analog systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30, 2006

High level synthesis of higher order continuous time state variable filters with minimum sensitivity and hardware count.

[BibT_eX]

[DOI]

Sougata Kar

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2004

A New Approach to Timing Analysis Using Event Propagation and Temporal Logic.

[BibT_eX]

[DOI]

Arijit Mondal

Proceedings of the 2004 Design, 2004

2002

Timing analysis of tree-like RLC circuits.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

2000

GABIND: a GA approach to allocation and binding for the high-level synthesis of data paths.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 2000

A Genetic Algorithm for the Synthesis of Structured Data Paths.

[BibT_eX]

[DOI]

R. M. Zimmer

Proceedings of the 13th International Conference on VLSI Design (VLSI Design 2000), 2000

1999

A design space exploration scheme for data-path synthesis.

[BibT_eX]

[DOI]

IEEE Trans. Very Large Scale Integr. Syst., 1999

1998

Complexity of Scheduling in High Level Synthesis.

[BibT_eX]

[DOI]

Partha Pratim Chakrabarti

VLSI Design, 1998

1997

Design Space Exploration for Data Path Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on VLSI Design (VLSI Design 1997), 1997

1996

Allocation and Binding in Data Path Synthesis Using a Genetic Algorithm Approach.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on VLSI Design (VLSI Design 1996), 1996

1992

[BibT_eX]

[DOI]

Microprocess. Microprogramming, 1992

Interconnect Optimization Techniques in Data Path Synthesis.

[BibT_eX]

[DOI]

Partha Pratim Chakrabarti