design and verification of asynchronous circuits

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

This repository is an open-source version of SKY130 to help facilitate use of Cadence Design System tools for use with Skywater 130 Process Design Kit

Hardware Design Tool - Mixed Signal Simulation with Verilog

🌊 Digital timing diagram rendering engine

A curated list of awesome open source hardware design tools

The JSON Schema specification

The Python programming language

Static Type Checker for Python

A bingo board for mobile and desktop

Easy to maintain open source documentation websites.

🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.

Primitives for GF180MCU provided by GlobalFoundries.

A python package for animating plots build on matplotlib.

matplotlib: plotting with Python

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

📊 Tools collection (NumPy + Matplotlib based) to do spectral analysis and calculate the key performance parameters of an ADC

📊 Tools collection (NumPy + Matplotlib based) to do spectral analysis and calculate the key performance parameters of an ADC

Google core libraries for Java

2-d drift-diffusion-Poisson python code

A tiny Python package to parse spice raw data files.

Gm over Id methodology

CircuiTikZ TeX/LaTeX package for drawing circuits

A GUI for drawing CircuiTikZ circuits

A collection of useful .gitignore templates

FastCap is the premium capacitance solver originally developed at M.I.T. on Unix platform. A de-facto golden reference standard, FastCap extracts the capacitances of any 3D conductive geometry in f…

A package for converting IC layout (OASIS/GDS2) into SVG, to load to the web.

Python port of Prof. Boris Murmann's gm/ID Starter Kit

A Python parser for hSpice output files and documentation of the hSpice output file format