Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.
-
Updated
Nov 11, 2021 - Jupyter Notebook
Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.
Pinyin IME using Statistical Machine Translation
Projects which are rather math related
use the smt solver to find the sbox implementation
Surface Mount Technology(SMT) board designs for training
VLSI Optimization tackles the 2-D Strip Packing Problem for Very Large Scale Integration, minimizing plate height while placing rectangular circuits without overlap. It offers versatile solutions using Constraint Programming, SAT, SMT, and ILP, with options for rotation and visualization
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."