A functional approach to test cascaded BCD counters | IEEE Conference Publication | IEEE Xplore