Biblio

Export 2 results:
[ Author(Desc)] Year
Filters: Author is Parthasarathy, Ganapathy  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
P
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F., Structural search for RTL with predicate learning, in Proceedings of the 42nd annual Design Automation Conference, 2005, pp. 451–456.
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F., 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.