Popular repositories Loading

1. Robustness-Verification-For-Neural-Networks-In-High-Level-Synthesis Robustness-Verification-For-Neural-Networks-In-High-Level-Synthesis Public

   This repository includes a method for the robustness verification of neural networks in high level synthesis using alpha-beta Crown methods and RTL equivalence techniques.

   Verilog