Bo-Yuan-Huang

cpp-starter

CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen

ILAng

A Modeling and Verification Platform for SoCs using ILAs

garnet-ila

The ILA model of the garnet design from Stanford AHA

CBMC-Vboot

This repo investigates Chrome's Verified Boot (Vboot) through C Bounded Model Checker (CBMC) and the use of the Software TPM library

Docker-Ubuntu-Dev

Set up a clean container for Linux using Docker

ParaSAT

TACAS-artifact

The repo for TACAS artifact submission

verilog-parser

A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.

3la-formal-check

Formal verification of 3LA program fragments

3la-ir-example

Example showing the different stages of Relay and TVM IR for a single program.

3la-tvm-exact

argparse

A slimline C++ class for parsing command-line arguments, with an interface similar to python's class of the same name

Bo-Yuan-Huang.github.io

coreir

cpp-taskflow

Modern C++ Parallel Task Programming Library

cxx-template

A template featuring modern CMake, Catch, Cppcheck, Clang-Tidy, Azure Pipeline, Doxygen, etc.

Design-Driver

Design driver for the hardware security project

flexasr-sim

FwSynth

Firmware synthesis based on hardware ILA models

incubator-tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

ItSy

ILA template-based Synthesis

lmac-ila

ILA of LMAC

minisat

A minimalistic and high-performance SAT solver

nvdla-ila

ILA of NVDLA

pysmt

pySMT: A library for SMT formulae manipulation and solving

PythonAPI

seahorn

SeaHorn Verification Framework

smack

SMACK Software Verifier And Verification Toolchain