To demonstrate HDLs, we mention the Katsir HDL 13, based on the Harvest
system 14, an initial/partial implementation of the harvesting model for HDL 15.
Katsir is currently being developed in Bar-Ilan University (BIU) as cooperation
between the Mathematics and Computer Science department and the
department of Information Studies.