The process of transforming a design entry information of the circuit into a set of logic equations in any EDA tool is known as _________

• A. Simulation
• B. Synthesis
• C. Optimization
• D. Verification