Chris Spear’s OpenVera / Vera Examples
OpenVera is a HVL - hardware verification language. It was originally developed by Sun under the name Vera and implemented by System Science. OpenVera is based on Verilog, C++, and Java, with addtional constructs specifically for verification. It is easy to learn and use, and allows [...]

Unison is a file-synchronization tool for Unix and Windows. It allows two replicas of a collection of files and directories to be stored on different hosts (or different disks on the same host), modified separately, and then brought [...]