(P-CELL)
(G-CELL)
(ALU-CELL)
(TV-ALU-HELP
 (3 3 (:TYPE-PRESCRIPTION TRUE-LISTP))
 (1 1 (:TYPE-PRESCRIPTION B-AND))
 )
(SHIFT-OR-BUF-CNTL
 (1 1 (:TYPE-PRESCRIPTION B-OR3))
 )
(SHIFT-OR-BUF)
(CARRY-OUT-HELP)
(OVERFLOW-HELP)
(CORE-ALU)
(CVZBV)
(V-ADDER
 (8 8 (:TYPE-PRESCRIPTION B-AND))
 (8 3 (:TYPE-PRESCRIPTION B-OR))
 )
(V-ADDER-CARRY-OUT)
(V-ADDER-OUTPUT)
(V-ADDER-OVERFLOWP)
(CVZBV-V-ADDER)
(CVZBV-INC)
(V-SUBTRACTER-CARRY-OUT)
(V-SUBTRACTER-OVERFLOWP)
(V-SUBTRACTER-OUTPUT)
(CVZBV-V-SUBTRACTER)
(CVZBV-NEG)
(CVZBV-DEC)
(V-ROR)
(CVZBV-V-ROR)
(V-ASR)
(CVZBV-V-ASR)
(V-LSR)
(CVZBV-V-LSR)
(CVZBV-V-NOT)
(V-ALU)
(CARRY-IN-HELP)
(DECODE-GEN)
(DECODE-PROP)
(DECODE-MODE)
(MPG)
