Sciweavers

2 search results - page 1 / 1
» An anytime symmetry detection algorithm for ROBDDs
Sort
View
TCAD
2008
124views more  TCAD 2008»
13 years 4 months ago
An Anytime Algorithm for Generalized Symmetry Detection in ROBDDs
Detecting symmetries has many applications in logic synthesis that include, amongst other things, technology mapping, deciding equivalence of Boolean functions when the input corre...
Neil Kettle, Andy King
ASPDAC
2006
ACM
159views Hardware» more  ASPDAC 2006»
13 years 10 months ago
An anytime symmetry detection algorithm for ROBDDs
Neil Kettle, Andy King