MIT_IEP_Formal_Verification, 13th Dec 2006 57 AOF Property Informal Statement for Property 1 When writing parallel data, converting them to serial ones, and outputting, the under-run error occurs if the next parallel data are not written.
{}