Giters

ai4verification / ai4verification.github.io

AI4Verification，Verfication，EDA，AI4EDA，SAT

Home Page:https://ai4verification.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ai4edaboolean-satisfiabilityedaverification

AI4Verification

This is the website source on ai4verification, including our recent projects and some survey on boolean satisfactory and verifcation&testing in EDA.

See more info at https://ai4verification.github.io/

About

AI4Verification，Verfication，EDA，AI4EDA，SAT

https://ai4verification.github.io/

ai4edaboolean-satisfiabilityedaverification

Languages

Language:HTML 48.7%Language:CSS 40.3%Language:TeX 10.9%