The KARL/KARATE system-automatic test pattern generation based on RT level descriptions | IEEE Conference Publication | IEEE Xplore