GAL-Checker There you can check a programmed GAL whether it does this what you want to do it or not. Further information see: How to Test Programmed GALs