3 papers
cs.LO2025
On Automating Proofs of Multiplier Adder Trees using the RTL Books
Mayank Manjrekar
We present an experimental, verified clause processor ctv-cp that fits into the framework used at Arm for formal verification of arithmetic hardware designs. This largely automates…
math.PR2018
On Spatial Matchings: The First-in-First-Match case
Mayank Manjrekar
In this paper, we describe a process where two types of particles, marked by the colors red and blue, arrive in a domain at a constant rate and are to be matched to each other…
math.PR2016
A Hard-core Stochastic Process with Simultaneous Births and Deaths
Mayank Manjrekar
We consider a stochastic spatial point process with births and deaths on , with the hard-core property that at any time the balls of radius half of any two points do…