nand4.v 938 Bytes