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 both design and [...]
Continue reading about Chris Spear’s OpenVera / Vera Examples
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 up to date by propagating the changes in each replica to the other.