Is this you? Create Your Porfile
Avatar

Dhiraj Goswami

Synopsys

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Dhiraj Goswami is active.

Explore More

Publication

Featured researches published by Dhiraj Goswami.

Archive | 1999

Pre-synthesis test point insertion

Ajay Khoche; Harbinder Singh; Dhiraj Goswami; Denis Martin

Archive | 2010

ADAPTIVE STATE-TO-SYMBOLIC TRANSFORMATION IN A CANONICAL REPRESENTATION

Dhiraj Goswami; Ngai Ngai William Hung; Jasvinder Singh; Qiang Qiang

Archive | 2010

Method and apparatus for constructing a canonical representation

Ngai Ngai William Hung; Dhiraj Goswami; Jasvinder Singh

Archive | 2010

METHOD AND APPARATUS FOR OPTIMIZING CONSTRAINT SOLVING THROUGH CONSTRAINT REWRITING AND DECISION REORDERING

Ngai Ngai William Hung; Qiang Qiang; Guillermo R. Maturana; Jasvinder Singh; Dhiraj Goswami

Archive | 2012

METHOD AND APPARATUS FOR IDENTIFYING INCONSISTENT CONSTRAINTS

Dhiraj Goswami; Soe Myint; Ngai Ngai William Hung; Rajarshi Mukherjee

Archive | 2011

Performing implication and decision making using multiple value systems during constraint solving

Qiang Qiang; Dhiraj Goswami

Archive | 2014

DEVELOPMENT AND DEBUG ENVIRONMENT IN A CONSTRAINED RANDOM VERIFICATION

Dhiraj Goswami; Aijun Hu; Na Xing; Jason Chung-Shih Chen; Ngai Ngai William Hung

Archive | 2014

Prioritized soft constraint solving

Ganapathy Parthasarathy; Dhiraj Goswami

Archive | 2012

Technique for honoring multi-cycle path semantics in RTL simulation

Kaushik De; Badri P. Gopalan; Dhiraj Goswami

Archive | 2011

METHOD AND APPARATUS FOR PERFORMING IMPLICATION AND DECISION MAKING USING MULTIPLE VALUE SYSTEMS DURING CONSTRAINT SOLVING

Qiang Qiang; Dhiraj Goswami

Explore More

Collaboration

Dive into the Dhiraj Goswami's collaboration.

Top Co-Authors
Avatar

Ngai Ngai William Hung

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Qiang Qiang

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Jasvinder Singh

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Guillermo R. Maturana

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Rajarshi Mukherjee

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Soe Myint

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Aijun Hu

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Ajay Khoche

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Badri P. Gopalan

Synopsys

View shared research outputs
Top Co-Authors
Avatar

Denis Martin

Synopsys

View shared research outputs
Explore More
Researchain Logo
Decentralizing Knowledge