Skip to content

Logic Synthesis and Verification: Programming Assignments

License

Notifications You must be signed in to change notification settings

yammy0623/LSV-PA

 
 

Repository files navigation

LSV-PA, Fall 2023

This is a repository to host programming assignments of the course Logic Synthesis and Verification at National Taiwan University. It is forked from the repository ABC of UC Berkeley.

Submission Workflow

We will follow a common git feature branch workflow for submission. All enrolled students will have their own branches named by their students' ID numbers. You are asked to fork this repository and develop your program on the forked repository. After finishing your programming assignments, the assignments must be submitted via a pull request to a student's own branch (please do not modify the master branch). If you cannot find your own branch, please contact the TA. If you don't know how to create a pull request, please read through this document.

To avoid plagiarism ...

Please note that your fork of this public repository will also be public, which means that if you push your code to the fork, it is visible to everyone. In case you want to prevent other students from copying your solution, an easy way is to push and create a pull request at the last moment before the deadline.

Another complicated way is to create a private repository to develop your solutions, pull your code to the public fork after an assignment is finished, and create a pull request via the public fork. The benefit of this method is that you can push your code during the development and keep it private. The drawback is again you need to create a pull request close to the deadline, as PRs are visible to everyone. The detailed steps are documented here.

Participants

We recommend students to register their student IDs and GitHub accounts in this table.

Assignments

PA1: Functional simulation

Submission deadline:

  • Exercises 1-3: 2023/09/17 23:59
  • Exercises 4: 2023/10/01 23:59

Contact

TA: Tian-Fu Chen (d11k42001@ntu.edu.tw)

For questions, you are encouraged to open an issue. As other students might have the same questions, discussing in an issue will benefit everyone. Note that you can set labels, e.g., PA0, PA1, etc, to classify your questions.

About

Logic Synthesis and Verification: Programming Assignments

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C 96.6%
  • C++ 2.9%
  • HTML 0.4%
  • Makefile 0.1%
  • Shell 0.0%
  • CMake 0.0%