Mandar Waghmode

  • Citations Per Year
Learn More
Most existing buffer insertion algorithms, such as van Ginneken's algorithm, consider only individual nets. As a result, these algorithms tend to over buffer when applied to combinational circuits, since it is difficult to decide how many buffers to insert in each net. Recently, Sze, et al. [1] proposed a path-based algorithm for buffer insertion in(More)
The study was undertaken with the aim of exploring novel and beneficial agro activities of rare actinomycetes like Microbispora sp. V2. The antagonistic activity of Microbispora sp. V2 was evaluated as a biocontrol agents against Sclerotium rolfsii, a soil-borne fungal plant pathogen. The methodology performed for evaluation of biocontrol agent was in vitro(More)
Boolean satisfiability (SAT) is a core non polynomial (NP)-complete problem. Several heuristic software and hardware approaches have been proposed to solve this problem. The authors present a hardware solution to the SATproblem.They propose a custom integrated circuit (IC) to implement their approach, in which the traversal of the implication graph as well(More)
Boolean Satisfiability (SAT) is a core NP-complete problem in logic synthesis. Several heuristic software and hardware approaches have been proposed to solve this problem. In this paper, we present a hardware solution to the SAT problem. We propose a custom IC to implement our approach, in which the traversal of the implication graph as well conflict clause(More)
  • 1