Partha Pratim Chakrabarti - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

/hbox {MAWA}^{/ast } - A Memory-Bounded Anytime Heuristic-Search AlgorithmSatya Gautam Vadlamudi, Sandip Aine, Partha Pratim Chakrabarti. tsmc, 41(3):725-735, 2011. [doi]

2010

Coverage Management with Inline Assertions and Formal Test PointsAritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti. vlsid 2010: 140-145 [doi]

Accelerating Synchronous Sequential Circuits Using an Adaptive ClockArijit Mondal, Partha Pratim Chakrabarti, Pallab Dasgupta. vlsid 2010: 176-181 [doi]

2009

New Approaches to Design and Control of Time Limited Search AlgorithmsPartha Pratim Chakrabarti, Sandip Aine. premi 2009: 1-6 [doi]

Inline Assertions - Embedding Formal Properties in a Test BenchAritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti. vlsid 2009: 71-76 [doi]

ERfair Scheduler with Processor ShutdownArnab Sarkar, Sarthak Swaroop, Sujoy Ghose, Partha Pratim Chakrabarti. hipc 2009: 4-12 [doi]

2008

A Dynamic Assertion-Based Verification Platform for Validation of UML DesignsAnsuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan. ATVA 2008: 222-227 [doi]

Cohesive Coverage Management for Simulation and Formal Property VerificationAritra Hazra, Ansuman Banerjee, Srobona Mitra, Pallab Dasgupta, Partha Pratim Chakrabarti, Chunduri Rama Mohan. isvlsi 2008: 251-256 [doi]

2006

Discovering the input assumptions in specification refinement coveragePrasenjit Basu, Sayantan Das, Pallab Dasgupta, Partha Pratim Chakrabarti. aspdac 2006: 13-18 [doi]

2005

SAT based solutions for consistency problems in formal property specifications for open systemsSuchismita Roy, Sayantan Das, Prasenjit Basu, Pallab Dasgupta, Partha Pratim Chakrabarti. iccad 2005: 885-888

Mixing Global and Local Competition in Genetic Optimization based Design Space Exploration of Analog CircuitsAbhishek Somani, Partha Pratim Chakrabarti, Amit Patra. date 2005: 1064-1069 [doi]

2003

Open computation tree logic with fairnessAnsuman Banerjee, Pallab Dasgupta, Partha Pratim Chakrabarti. iscas 2003: 249-252 [doi]

2000

Model checking on timed-event structuresPallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti. tcad, 19(5):601-611, 2000. [doi]

1999

Controlling State Explosion in Static Simulation by Selective CompositionPartha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose. vlsid 1999: 226-231 [doi]

1996

EARTH: combined state assignment of PLA-based FSM s targeting area and testabilityChunduri Rama Mohan, Partha Pratim Chakrabarti. tcad, 15(7):727-731, 1996. [doi]

1995

Combined optimization of area and testability during state assignment of PLA-based FSM sChunduri Rama Mohan, Partha Pratim Chakrabarti. vlsid 1995: 408-413 [doi]

1994

A new approach for factorizing FSM sChunduri Rama Mohan, Partha Pratim Chakrabarti. iccad 1994: 698-701 [doi]

A New Approach to Synthesis of PLA-Based FSM sChunduri Rama Mohan, Partha Pratim Chakrabarti. vlsid 1994: 373-378

1993

Combining State Assignment with PLA FoldingChunduri Rama Mohan, Partha Pratim Chakrabarti, Sujoy Ghose. vlsid 1993: 9-14

1992

Qualitative Description of Three-Dimensional ScenesPrabir K. Biswas, Jayanta Mukherjee, B. N. Chatterji, Partha Pratim Chakrabarti. ijprai, 6(4):651-672, 1992.