[IEEE 2009 International Conference on Communications, Circuits and Systems (ICCCAS) - Milpitas, CA, USA (2009.07.23-2009.07.25)] 2009 International Conference on Communications, Circuits and Systems - Rule-based equivalence checking of system-level design descriptions