This repo contains hands-on material for the "Logic Synthesis for AI" tutorial session at Hack4Her 2024.

Clone this repository:

git clone https://github.com/marcelwa/ls4ai.git

Download the Jupyter notebook ls4ai.ipynb and run it locally on your preferred platform.

1. Install Python and Jupyter Notebook using Anaconda, Homebrew, pip, or the package manager of your choice.
2. Open Command Prompt, PowerShell, or Terminal.
3. Navigate to the directory where ls4ai.ipynb is located.
4. Start Jupyter Notebook:

   jupyter notebook

Note: Verilog simulation/validation might only work under Linux.

Follow the installation instructions for your operating system:

• Windows
• macOS
• Linux (or simply use the terminal-based Docker daemon)

Make sure Docker Desktop is running.

docker build -t ls4ai .

docker run -p 8888:8888 -v $(pwd):/home/jovyan/work ls4ai

Open your web browser and navigate to http://localhost:8888. You should see the Jupyter interface where you can open and run the ls4ai.ipynb notebook.

To help you get started and make the most out of this project, here are some useful resources:

• Docker Official Documentation: Comprehensive guide to getting started with Docker, including installation, building images, and managing containers.
• Jupyter Notebook Documentation: Official documentation for Jupyter Notebook, including installation instructions, tutorials, and usage guides.

If you have any questions or feedback, please reach out via email.