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

14 years 7 months ago

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

Eli Arbel, Oleg Rokhlenko, Karen Yorav

Abstraction Oleg Rokhlenko | FMCAD 2009 | Formal Methods | Haifa Research Labs | Joint Work |

claim paper

Added	26 May 2010
Updated	26 May 2010
Type	Conference
Year	2009
Where	FMCAD
Authors	Eli Arbel, Oleg Rokhlenko, Karen Yorav

Comments (0)