NTU_SoCV_202002

概述

這是一個由黃鐘揚老師指導的 "系統晶片驗證" (SoCV) 作業與專題的 GitHub 存儲庫。本專案包含了與系統晶片驗證相關的代碼、文件和其他資源。

內容

• r08921053_{hw1,hw2,hw3,hw4,hw5}: 這些是我在 2021 年 3 月至 6 月間修課時的產出。
• final project: 本專題的目標是在現有的 pdr solver 上進行加速，通過工程手段，使其效能接近 v3 engine。

語言

• C++ (89.1%)
• Yacc (3.3%)
• Verilog (2.8%)
• C (2.0%)
• Makefile (2.0%)
• Lex (0.6%)
• 其他 (0.2%)

貢獻

歡迎有興趣的開發者和學生對此專案進行貢獻。您可以透過提交 Pull 請求或開啟 Issues 來參與。

版權和許可

本專案遵循適用的版權法。使用前請確認相關授權條款。

NTU_SoCV_202002

Overview

This is a GitHub repository for "System on Chip Verification" (SoCV) assignments and projects, guided by Professor Huang Zhong-Yang. The repository contains code, documentation, and other resources related to system chip verification.

Contents

• r08921053_{hw1,hw2,hw3,hw4,hw5}: These are my course outputs from March to June 2021.
• final project: The goal of this project is to accelerate the existing pdr solver through engineering means, aiming to bring its performance close to the v3 engine.

Languages

• C++ (89.1%)
• Yacc (3.3%)
• Verilog (2.8%)
• C (2.0%)
• Makefile (2.0%)
• Lex (0.6%)
• Others (0.2%)

Contributions

Contributions from developers and students interested in this project are welcome. You can participate by submitting Pull Requests or opening Issues.

Copyright and License

This project adheres to applicable copyright laws. Please ensure compliance with relevant licensing terms before use.