GitHub repository for Verification of Digital Systems Class Project
Explore the docs »
View Demo
·
Report Bug
·
Request Feature
Table of Contents
In the course of this Lab assignment students are going to implement a minimal BDD package in C++. This package implements the fundamental manipulation methods for ROBDDs as they were introduced in the lecture Verification of Digital Systems by Prof. Kunz. The package will be implemented using the Test Driven Development (TDD) paradigm presented by Dr. Wedler.
The project is split into three parts:
Implementation of the basic functionality of the BDD package using the TDD methodology. This is the biggest part of the project.
Main tasks in this part:
- Set up and maintain a Git repository
- Use CMake as a build system of the project
- Verify the code using GTest
- Set up a Continuous Integration (CI) pipeline with GitHub Actions
- Use Doxygen (or a similar tool) to generate documentation for the API. (Optional)
Improvement of the performance of the implementation via provided benchmarks.
Main tasks in this part:
- Learning how to identify performance bottlenecks within the code.
- Analyzing benchmark results.
- How to overcome bottlenecks.
Extending the existing implementation by a practical application of BDD. Using BDDs, it is possible to symbolically represent a state-space. This representation allows to check quickly, whether a specific state is within the reachable state space or not.
Will be updated later.
Will be updated later.
Will be updated later.
Will be updated later.
Will be updated later.
- README implementation
- CI reading&understanding
- ROBDD algorithm reading&understanding
- C++ functions reading&understanding
- How to write basic test functions in C++ properly
- Doxygen reading&understanding
- Google Test reading&understanding
-
Doxygen implementation - CI implementation
- Function implementations
- Test code implementations
- Google Test implementation
- Setting up new file directory in the project files
- Installing WSL
- Setting up Boost library via WSL integration
- Understanding the scientific paper (Brace et al., 1990)
- Implementing hashed tables in C++
- Successful benchmarks results
- Successful verification results
- README update
- Setting up new file directory in the project files
- Implementation of tests
- Implementation of functions
- Successful test results
- README update
See the open issues for a full list of proposed features (and known issues).
Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.
If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!
- Fork the Project
- Create your Feature Branch (
git checkout -b feature/AmazingFeature) - Commit your Changes (
git commit -m 'Add some AmazingFeature') - Push to the Branch (
git push origin feature/AmazingFeature) - Open a Pull Request
Will be updated later.
Veli Durmuşcan - durmusc@rhrk.uni-kl.de
Shreya Vithal Kulhalli - kulhalli@rhrk.uni-kl.de
Osama Omar Youssif Ayoub - ayoub@rhrk.uni-kl.de
You might find helpful links below.