Index Catalog // Digital WPI

Start Over

Filtering by: Keyword Verilog

FPGA Accelerated SAT Solver

Keyword:

Binary Equation, Verilog, VHDL, Boolean Satisfiability, Cryptography, and FPGA

Creator:

Gray, Andrew

Advisor:

Mus, Koksal and Doroz, Yarkin

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-03-09

Resource Type:

Major Qualifying Project
FPGA Accelerated SAT Solver

Keyword:

FPGA, Verilog, Post-Quantum Crypto, Cryptography, and Systems of Equations

Creator:

Lund, Matthew

Advisor:

Mus, Koksal and Doroz, Yarkin

Publisher:

Worcester Polytechnic Institute

Date Created:

12/13/2023

Resource Type:

Major Qualifying Project