Settings

Theme

imakwana

Karma
411
Created
6 years ago

About

ASIC Design Verification Engineer struggling to understand modern computing landscape.

Austin, TX, USA

Recent Submissions

  1. 1. Open-Source Hardware: curated list of open-source ASIC tools and designs (github.com)
  2. 2. Game on: Social networks and markets (2022) (sciencedirect.com)
  3. 3. Model Checking Boot Code from AWS Data Centers (2018) [pdf] (kroening.com)
  4. 4. MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (csg.csail.mit.edu)
  5. 5. Fuzzing Hardware Like Software (2021) (arxiv.org)
  6. 6. The effect of deactivating Facebook and Instagram on users' emotional state (nber.org)
  7. 7. MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (shd.mit.edu)
  8. 8. Fuzzing Hardware Like Software (2022) (usenix.org)
  9. 9. Why exercise may never be effective medicine in the treatment of type-2 diabetes (pubmed.ncbi.nlm.nih.gov)
  10. 10. Play to Test: Software testing as reachability games against nature (2005) [pdf] (microsoft.com)

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection