BEACON, a RTL level automatic test generator is based on the technique described in the following paper:

• Min Li, Kelson Gent, and Michael S. Hsiao, "Design validation of RTL circuits using evolutionary swarm intelligence," in Proceedings of the IEEE International Test Conference, November, 2012.

• b01.tar.gz
• b06.tar.gz
• b07.tar.gz
• b10.tar.gz
• b11.tar.gz
• b12.tar.gz
• b14.tar.gz
• or1200_0.tar.gz
• or1200_1.tar.gz
• or1200_2.tar.gz
• or1200_3.tar.gz
• or1200.tar.gz