SAT-based synthesis of clock gating functions using 3-valued abstraction

Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs 

• Type: Conference
• Year: 2009
• Where: FMCAD
• Authors: Eli Arbel, Oleg Rokhlenko, Karen Yorav
• Keywords: Abstraction Oleg Rokhlenko, FMCAD 2009, Formal Methods, Haifa Research Labs, Joint Work