GitHub repository for the Verification of Digital Systems Class Project
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 (Mandatory)
- 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.
Check out doc/VDSCP_Part_1.pdf
List of Ubuntu packages required to complete the project:
- git-all
- libboost-all-dev
- build-essential
No guarantee that this list is complete (Add other packages to the README)
Installation with CLion
CLion comes with CMake.
- Open CLion and open VDSProject/CMakeLists.txt as a project.
- Select your target and build the project.
Installation without CLion
- Navigate to the project folder and create a build directory
cd VDSProject && mkdir build
- Navigate to the build folder and invoke CMake
cd build && cmake ../
- Invoke make
make
- TODO
- DONE
- TODO
- DONE
- TODO
- DONE
Lucas Deutschmann & Philipp Schmitz - eit-vds-cp@rptu.de
Thank you Veli Durmuşcan, Shreya Vithal Kulhalli and Osama Omar Youssif Ayoub for the work on this README.md.
You might find helpful links below.