Topic: "memory-model"
OSVVM/OSVVM
OSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Language: VHDL - Size: 18.8 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 236 - Forks: 64
johnwickerson/memalloy
Memory consistency modelling using Alloy
Language: OCaml - Size: 4.99 MB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 28 - Forks: 6
wyvernSemi/mem_model
High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model
Language: VHDL - Size: 2.71 MB - Last synced at: 23 days ago - Pushed at: 5 months ago - Stars: 22 - Forks: 3
bismex/MMLT
[ECCVW2018] A Memory Model based on the Siamese Network for Long-term Tracking (MMLT)
Language: MATLAB - Size: 11.4 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 21 - Forks: 5
michpara/ITI1120-Introduction-to-Computing-I
Labs for Introduction to Computing I
Language: Python - Size: 4.59 MB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0
Banyc/futex
Taming the beast of desync
Language: Rust - Size: 38.1 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
ehsanyousefzadehasl/MMCC
MMCC stands for Memory Model and Cache Coherence *|* In this repository, I push what I learn and code about the memory models and cache coherence protocols to be able to start to research on memory models and cache coherence protocols for GPGPUs and Heterogeneous Systems
Size: 2.55 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1
luismendes070/jcstress Fork of openjdk/jcstress
https://openjdk.java.net/projects/code-tools/jcstress/
Size: 1.77 MB - Last synced at: 12 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
AB20CS/MemoryModelAnalyzer
Performs a static analysis of a file containing C source code, identifying the location in memory of the variables defined within the code
Language: C - Size: 138 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
aqjune/twinsem
Language: Coq - Size: 498 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
takayuki/thinking-in-tla
Thinking in TLA: a TLA playground to learn algorithms
Language: TLA - Size: 328 KB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 1
