Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave Boolean Satisfiability

FPGA Accelerated SAT Solver

Palabra clave:

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

Creador:

Gray, Andrew

Advisor:

Mus, Koksal and Doroz, Yarkin

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2024-03-09

Resource Type:

Major Qualifying Project