eda-ricercatore/haskell-sandbox

Stars
1
Language
Haskell
License
MIT License
Created over 3 years ago
Updated over 3 years ago

eda-ricercatore/haskell-sandbox

eda-ricercatore

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A sandbox for testing implementations of Haskell concepts that I am learning.

Modica-SRAM

Design of a 32-kbit synchronous SRAM with 32-bit words, using 180 nm process technology. Developed MATLAB scripts to evaluate architectural trade-offs between performance (using logical effort analysis) and area usage; see the source code for the HSPICE decks and MATLAB scripts that are used during architectural trade-off evaluation, and characterization of inverters for different supply voltages (VDD) and temperatures. It also includes HSPICE decks for the characterization of the 6-transistor SRAM cell for different transistor ratios, and the SRAM read and write circuitry. Co-designed and co-developed the SRAM using schematic entry in Cadence Virtuoso. Performed functional and timing verification by simulating extracted SPICE netlist in NanoSim.

Lombardia-STIL

A C++ -based STIL parser.

qubos-solvers

A portfolio of solvers for quadratic unconstrained binary optimization (QUBO).

gulyas-scripts

This is the script directory for my research, as part of my dottorato di ricerca. It contains scripts to test out ideas that I have read in research publications.

MarcheProcessor

A wide-word processor with 128-bit data path.

admin-notes

Notes for research and side projects

Jupyter Notebook

in-memory-nbl

In-memory computing with noise-based logic

NetSim

An optimization tool for telecommunication networks. It is optimized via a multi-objective evolutionary algorithm, so that the trade-off between pleiotropy and redundancy can be explored.

boilerplate-code

Boilerplate code for my open source software projects. It will include implementations of common data structures and algorithms, including those for electronic design automation (such as AND-Inverter Graphs and Binary Decision Diagrams)

research-contests

A repository for research contests spanning topics from hardware security and embedded/VLSI machine learning to electronic design automation, bio design automation, and formal verification.

PicenoDecoders

Encoders and decoders for encoding and decoding, and error detection and correction.

baklava-graphics

A repository for experimenting with drawing figures/graphics with computer languages.

std-cell-library-characterization

A repository for my experimental results, and scripts to process, analyze, and interpret them.

Calabria-Digital-Bio

Repository for computer programs written for my digital biology class.

guidelines

A set of guidelines for collaboration, software development, IC design (especially VLSI system design), cyber-physical system design projects, VLSI verification projects, machine learning projects, and data science projects.

ricerca-sandbox

eda-ricercatore.github.io

Zhiyang Ong is an Electrical Engineering Ph.D. student at Texas A&M University. He is currently working on noise-based logic, and had worked on problems in VLSI formal verification, electronic design automation, and satisfiability modulo theories.

rosario-r

A repository for my R scripts that explore concepts and techniques in statistical data analysis, machine learning, data analytics, and related topics.

bibtex-analytics

This set of scripts is to perform data analytics operations on my BibTeX database, and to clean it up.

ruby-sandbox

Sandbox for trying out concepts in Ruby programming, and study notes.

z-estate-2018-stage

Source code for the interview processes of summer 2018 internship application

octave-sandbox

Sandbox for trying out concepts in GNU Octave programming, and study notes.

dal-bhat-cv

This is a repository to help members of "Dorsa Sadigh wannabes" who are developing an embedded machine learning solution for the DAC 2019 System Design Contest.

eecs-stem-outreach

Resources for outreach and broadening participation in science, technology, engineering, and mathematics (STEM), including electrical/computer engineering and computer science (EECS).

Campania-Cpp

Random C++ programs

python-sandbox

Sandbox for trying out concepts in Python programming, and study notes.

Jupyter Notebook

racket-sandbox

A sandbox to test concepts while learning to program in Racket.

propuesta-de-investigacion

A repository for my course on writing research proposals, and learning about skills that would improve my applications for tenure-track faculty positions (i.e., assistant professor positions).

ciencia-de-datos

A repository for my course, "ECEN 689 Applied Information Science Practicum" at Texas A&M University, Fall 2018.

sardegna-scala

A repository of Scala programs that I have developed to hone my skills in functional programming. Three primary goals of this endeavor are: to develop (quasi-) automated techniques for compiler/parser development; to develop an automated framework for data analytics; and to develop faster prototypes for design automation.