Dhrubajyoti Kalita

Learn More
Due to the increasing complexity of today's embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded system design as a system level specification. One of the major bottlenecks in the validation of UML activity diagrams is the lack of automated techniques for directed test(More)
Unified Modeling Language (UML) is widely used as a system level specification language in embedded system design. Due to the increasing complexity of embedded systems, the analysis and validation of UML specifications is becoming a challenge. UML activity diagram is promising to modeling the overall system behavior. However, lack of techniques for(More)
SystemC Transaction Level Modeling (TLM) is widely used to reduce the overall design and validation effort of complex System-on-Chip (SOC) architectures. Due to lack of efficient techniques, the amount of reuse between abstraction levels is limited in many scenarios such as reuse of TLM level tests for RTL validation. This paper presents a top-down(More)
SystemC transaction-level modeling (TLM) is widely used to enable early exploration for both hardware and software designs. It can reduce the overall design and validation effort of complex system-on-chip (SOC) architectures. However, due to lack of automated techniques coupled with limited reuse of validation efforts between abstraction levels, SOC(More)
  • Tom Alsop, Dennis Brophy, Mentor Graphics, Joe Daniels, Ken Davis, Freescale Semiconductor +24 others
  • 2009
Notices Accellera Standards documents are developed within Accellera and the Technical Committees of Accellera Organization, Inc. Accellera develops its standards through a consensus development process, approved by its members and board of directors, which brings together volunteers representing varied viewpoints and interests to achieve the final product.(More)
PURPOSE The purpose of the study is to compare the intra-vitreal concentrations of carboplatin, post peri-ocular injections of commercially available carboplatin (CAC) and a novel carboplatin loaded polymethylmethacrylate nanoparticulate carboplatin (NPC), in either eye, as a model system for treatment of advanced intra-ocular retinoblastoma (RB). DESIGN(More)
Assam hill goat (Capra hircus) is a prolific local goat in India. bone morphogenetic protein receptor (BMPR1B) gene was studied as a candidate gene for the prolificacy of goats. The objective of the present study was to detect the incidence of mutation in the exonic region of BMPR1B gene of Assam hill goat. Total 90 blood samples were collected randomly(More)
In this project, we explore a novel framework for formal veriication of a real-time speciications of a machining system. A machining system falls under the broad category of a real-time system. The TTM/RTTL framework is used for speciication and veriication of a machining system. In TTM/RTTL framework, a machining system is modeled as a parallel composition(More)