Verilog models of RFID card / reader.
- hash lock - blinded anticollision
- implemented Stephen Weis RFID tag model http://theory.lcs.mit.edu/~cis/thesesweis-masters.pdf - it's bad but no good reader model yet (need help)