bo-yuan-huang Goto Github PK

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

cbmc-vboot

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

coreir

cpp-starter

CMake/GoogleTest/TravisCI/Coveralls/CoverityScan/Doxygen

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

docker-ubuntu-dev

Set up a clean container for Linux using Docker

flexasr-sim

fwsynth

Firmware synthesis based on hardware ILA models

garnet-ila

The ILA model of the garnet design from Stanford AHA

ilang

A Modeling and Verification Platform for SoCs using ILAs

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

parasat

pysmt

pySMT: A library for SMT formulae manipulation and solving

pythonapi

seahorn

SeaHorn Verification Framework

smack

SMACK Software Verifier And Verification Toolchain

tacas-artifact

The repo for TACAS artifact submission

verilog-parser

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