6 citations · 6 across the 12 of their papers we have counts for
4 papers · 1 filter
Generalized cofactors and decomposition of Boolean satisfiability problems
Madhav Desai, Virendra Sule
We propose an approach for decomposing Boolean satisfiability problems while extending recent results of \cite{sul2} on solving Boolean systems of equations. Developments in \cite{…
Inner Loop Optimizations in Mapping Single Threaded Programs to Hardware
Madhav Desai
In the context of mapping high-level algorithms to hardware, we consider the basic problem of generating an efficient hardware implementation of a single threaded program, in parti…
Optimization of Discrete-parameter Multiprocessor Systems using a Novel Ergodic Interpolation Technique
Neha V. Karanjkar, Madhav P. Desai
Modern multi-core systems have a large number of design parameters, most of which are discrete-valued, and this number is likely to keep increasing as chip complexity rises. Furthe…
On the likelihood of multiple bit upsets in logic circuits
Nanditha P. Rao, Shahbaz Sarik, Madhav P. Desai
Soft errors have a significant impact on the circuit reliability at nanoscale technologies. At the architectural level, soft errors are commonly modeled by a probabilistic bit-flip…