R1, R2: Formal definition of VCD

Open in new window