Repositories list

• libprop

  Public
  HyperLTL property evaluation library and parser

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •1•1•5•0•Updated Oct 11, 2020Oct 11, 2020

• trustworthy-systems-iitk.github.io

  Public
  HTML

  •0•0•0•0•Updated Jul 7, 2020Jul 7, 2020

• bsim

  Public
  bsim is an algorithmic inference tool that processes gate-level netlists.

  Verilog

  •1•5•0•0•Updated Jun 23, 2020Jun 23, 2020