Next meeting Tuesday 27/5 (October 599) | |
|
Hi First, Wednesday is going to be the 600th day of the war. I hope everyone will join the official Technion event. On a separate note, Tuesday is going to be our next project meetup, where we will see the programs that you managed to verify (and some graphics as well). We will also begin the HARDWARE section of the project. For this purpose, we will be using PyRTL, a Python package for describing hardware designs. To make the best use of our time, use tomorrow to install the required software. ◦ If your are using Windows, WE WILL NEED WSL at this point. The reason is that we will have to use a C++ compiler, and PyRTL does not work with Visual Studio. ◦ Whether you are using WSL or some other Unix-like system (Mac or Linux), make sure you have a working compiler (g++ or clang++). ◦ Install Python 3.10 or above on WSL, install `jupyter-lab` (even if you have installed it on Windows already; you will have to install it on WSL again). ◦ Install pyrtl using pip (`pip install pyrtl`). If you get stuck, ask on Slack. At least install WSL + Python so that you do not have to wait for large downloads during class. |
| פורסם ב-25/5/2025, 19:56:05 Created on 25/5/2025, 19:56:05 Создано25/5/2025, 19:56:05 تم النشر ب-25/5/2025, 19:56:05 |
Next meeting will be 6/5, milestone stays on 13/5 | |
|
Because 13/5 turns out to be "Career Day" at our establishment, and there will be no classes, we will move our meeting earlier to 6/5. You will be able to present your progress toward Milestone 1 during the meeting, but the deciding date for the milestone will remain 13/5 to allow you time to complete as many verification objectives as possible. I will upload a list of action items for Milestone 1 to the homework assignments tab, to help you remember. |
| עדכון אחרון ב-23/4/2025, 11:51:40 Last updated on 23/4/2025, 11:51:40 Последняя модификация23/4/2025, 11:51:40 تمت الحتلنة الأخيرة ب-23/4/2025, 11:51:40 |
Preparations for next meetup | |
|
Next week we are going to do verification with Z3 (yay). Install Z3 plus its Python API with: | pip install z3-solver Do not forget the `-solver`!! It is crucially important!!! To test that it worked, run this in your Jupyter notebook: | import z3 | s = z3.Solver() If there is no error, you're all set. |
| עדכון אחרון ב-17/4/2025, 21:35:58 Last updated on 17/4/2025, 21:35:58 Последняя модификация17/4/2025, 21:35:58 تمت الحتلنة الأخيرة ب-17/4/2025, 21:35:58 |
Join our Slack | |
|
You are very much encouraged to join the Slack channel using the invite link (also available in the syllabus). https://join.slack.com/t/cstech236346/shared_invite/zt-d1ydapgw-0pccA8fW~uMJR4yjFYWNMg If you have not teamed up yet, you can post on the channel to look for partners. Also, the description of the warmup milestone (Milestone 0) is available under the "assignments" tab. The specifications required for it are the semantics of the assembly instructions and the two programs included in the item. |
| פורסם ב-10/4/2025, 16:48:53 Created on 10/4/2025, 16:48:53 Создано10/4/2025, 16:48:53 تم النشر ب-10/4/2025, 16:48:53 |
Meeting will be at Taub 4 |
| פורסם ב-8/4/2025, 11:50:41 Created on 8/4/2025, 11:50:41 Создано8/4/2025, 11:50:41 تم النشر ب-8/4/2025, 11:50:41 |
Project meeting hours: Tue 16:30-18:00 | |
|
Due to some malfunction, the times were omitted from the SAP views. I apologize for anyone who has already registered without knowing this information. Meetings are not going to be every single week, but teams are expected to be present in order to present their progress. |
| פורסם ב-7/4/2025, 13:55:22 Created on 7/4/2025, 13:55:22 Создано7/4/2025, 13:55:22 تم النشر ب-7/4/2025, 13:55:22 |
Prepare for next meeting Tue 8/4 | |
|
We will be starting our project. To make it most efficient, please prepare a minimal environment on your laptops (we will be doing some in-class activities). You will need Python 3.10 or greater, an IDE with Python support (VSCode or PyCharm), and Jupyter Lab. The latter is not mandatory for the first meetup but is recommended and will be needed later anyway. |
| פורסם ב-6/4/2025, 23:17:26 Created on 6/4/2025, 23:17:26 Создано6/4/2025, 23:17:26 تم النشر ب-6/4/2025, 23:17:26 |
First lecture postponed | |
|
Due to severe health issues, the first lecture will not take place as planned. Updates will be posted towards the following week. |
| פורסם ב-28/3/2025, 16:52:34 Created on 28/3/2025, 16:52:34 Создано28/3/2025, 16:52:34 تم النشر ب-28/3/2025, 16:52:34 |