Ambar Sarkar

Learn More
Parallel programs are complex, especially when the communication, synchronization, and scheduling issues must be managed by the programmer. Considerable amounts of time and effort are put into developing a parallel program for a particular application, yet once written for one architecture, it may be prohibitively difficult to port the code to another(More)
As the specification of a system becomes increasingly complex, the task of verifying its implementation becomes exponentially harder. In the domain of functional verification of digital hardware, most state of the art verification environments have evolved into complex distributed software architectures, composed of a number of verification components such(More)
In this papel; we discuss bringing two early stages of digital system design --operational specijcation modeling and pelformance modelingunder the same simulation environment. This unijication is possible by integrating the operational specijkation model and the performance model for a given system under design, so that the two models can be simultaneously(More)
Many applications are not feasible without the support of real-time and fault-tolerant computer systems. Timeliness and dependability are properties that predominantly distinguish a real-time system and a fault-tolerant system from other computer systems. In this thesis we address the issue of supporting timeliness and dependability by studying four(More)
While evolving from an abstract concept into a detailed implementation, the design of a complex digital system proceeds through different design stages. Due to lack of effective communication of design intent among these stages, errors are introduced in the product. Early detection of such errors is crucial for increasing robustness and reducing design(More)
classes are available for all verification components.<lb>Once you understand the structure of OVM based VIP, it is very easy<lb>to create a basic environment and can be enhanced it by adding<lb>features without disturbing existing ones. The biggest advantage is<lb>you do not need to start from scratch as in case of other environments.<lb>One logical(More)
A system-design methodology based on the synergistic integration of the specification modeling and the performance modeling design stages is presented. This synergy is supported by: 1) a novel technique that dynamically and automatically incorporates delay information into an executable specification from the corresponding performance model, and 2) a novel(More)
  • 1