The synthesis of robust polynomial arithmetic with stochastic logic.

Weikang Qian Marc D. Riedel

Published in: DAC (2008)

Keyphrases

multi valued
knowledge base
stochastic optimization
real time
multiscale
higher order
monte carlo
parameter tuning
stochastic model
classical logic
low order
logic synthesis