Biblio
] , “RTL SAT simplification by boolean and interval arithmetic reasoning”, in Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, 2005, pp. 297–302.
, “Structural search for RTL with predicate learning”, in Proceedings of the 42nd annual Design Automation Conference, 2005, pp. 451–456.