Libero第三次eda电子版实验报告，了解基于Verilog的基本门电路的设计及其验证。