eda-ricercatore Goto Github PK

academic-portfolio

This is my academic portfolio to help me in my job applications for faculty positions in research universities.

admin-notes

Notes for research and side projects

baklava-graphics

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

bibtex-analytics

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

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)

calabria-digital-bio

Repository for computer programs written for my digital biology class.

campania-cpp

Random C++ programs

caprese-sw-analy

A suite of tools for software/program analysis. These tools are primarily developed for a course that I am auditing.

ciencia-de-datos

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

compilerjobs

A listing of compiler, language and runtime teams for people looking for jobs in this area

cv

My CV

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.

ecen-698-fall-2018-project-2

A data science project for stereoscopic vision, applied to a remote controlled vehicle

ecen-714-fall-2019

Respository for ECEN 454 and ECEN 714 (Fall 2019)

eda-globetrotter.github.io

My web page for GitHub to host information about my academic, research, professional, and personal projects.

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.

eecs-stem-outreach

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

ethically-aligned-licenses

feedback

Feedback for organizations

freepdk-pipecleaner

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.

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.

haskell-sandbox

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

ic3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

in-memory-nbl

In-memory computing with noise-based logic

ispd2013contest-benchmarks

lamiera-per-caldaie

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)

lombardia-stil

A C++ -based STIL parser.

marcheprocessor

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

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.