19 lines
761 B
Coq
19 lines
761 B
Coq
|
`include "../../01_Boolean_Logic/Nand.v"
|
||
|
|
`include "../../01_Boolean_Logic/Not.v"
|
||
|
|
`include "../../01_Boolean_Logic/Buffer.v"
|
||
|
|
`include "../../01_Boolean_Logic/And.v"
|
||
|
|
`include "../../01_Boolean_Logic/Or.v"
|
||
|
|
`include "../../01_Boolean_Logic/Xor.v"
|
||
|
|
`include "../../01_Boolean_Logic/Mux.v"
|
||
|
|
`include "../../01_Boolean_Logic/DMux.v"
|
||
|
|
`include "../../01_Boolean_Logic/Not16.v"
|
||
|
|
`include "../../01_Boolean_Logic/Buffer16.v"
|
||
|
|
`include "../../01_Boolean_Logic/And16.v"
|
||
|
|
`include "../../01_Boolean_Logic/Or16.v"
|
||
|
|
`include "../../01_Boolean_Logic/Mux16.v"
|
||
|
|
`include "../../01_Boolean_Logic/Or8Way.v"
|
||
|
|
`include "../../01_Boolean_Logic/Mux4Way16.v"
|
||
|
|
`include "../../01_Boolean_Logic/Mux8Way16.v"
|
||
|
|
`include "../../01_Boolean_Logic/DMux4Way.v"
|
||
|
|
`include "../../01_Boolean_Logic/DMux8Way.v"
|