Verification Bitstream Development Project of Japan? Are they in public domain? Thanks & Regards, Manu