AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
Ederson Davids
Research Scholar
United States of America
Public Documents
7
June 02, 2025
Leveraging Sequential Equivalence Checking in PCIe Lane Bonding Logic Verification
Ederson Davids and Paul Micheals
June 02, 2025
Formal Protocol Coverage Closure for DDR Controllers Using JasperGold or VC Formal
Ederson Davids and Paul Micheals
June 02, 2025
Assertion-Based Formal Verification of Power and Clock Management in PCIe Transceiver...
Ederson Davids and James Klein
June 02, 2025
CDC and RDC Verification in DDR and PCIe Designs Using Static Timing and Formal Techn...
Ederson Davids and James Klein
May 27, 2025
Deep Learning Models for Medical Diagnostics: Comparative Analysis of CNN, Transforme...
Ederson Davids and Jon Davidson
May 15, 2025
Leveraging User Feedback to Continuously Improve Custom Language Models in Vosk-Based...
Ederson Davids and Sean Williams
May 05, 2025
Cloud-Based Intrusion Detection Systems: Performance Comparison of Binary Logistic Re...
Ederson Davids and Mark Billings
