sykret Goto Github PK

clrdram

ddr4sim

DDR4 Simulation Project in System Verilog

drampower

Fast and accurate DRAM power and energy estimation tool

dramspec

A High-Level DRAM Timing, Power and Area Exploration Tool

hello-world

hscc2019_re

Repeatability Evaluation package for the HSCC 2019 Conference

keras-rl

Deep Reinforcement Learning for Keras.

mics-pdn

pysmt

pySMT: A library for SMT formulae manipulation and solving

ramulator

A Fast and Extensible DRAM Simulator, with built-in support for modeling many different DRAM technologies including DDRx, LPDDRx, GDDRx, WIOx, HBMx, and various academic proposals. Described in the IEEE CAL 2015 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/ramulator_dram_simulator-ieee-cal15.pdf

sdram

verilog code

sdram-controller

Verilog SDRAM memory controller

symbolic-modified-nodal-analysis

an ipython notebook for symbolic circuit analysis

testprj

verify

SMT Formal Verification