RTL SAT simplification by Boolean and interval arithmetic reasoning.

Ganapathy Parthasarathy, Madhu K. Iyer, Kwang-Ting Cheng, Forrest Brewer

Browse the full ICCAD paper archive.