Consequently, we compare the various types of libraries and focus on a
comprehensive comparison between HDLs and SEs on the Web. To
demonstrate, we show exemplary digital libraries. In particular, we mention the
Katsir HDL, based on the Harvest system, which is currently being developed
in Bar-Ilan University.