Bookmark
back to research page.
go to reveal case studies page.
go to Academic Search page.
Useful Links: CAD Tools & Resources, Developement Tools, CAD Companies and CAD-related Organizations, Friends, News, General Links
Verilog Preprocessors: VPP
SAT: Grasp ( man) zChaff mChaff Siege CAMA SatZoo SIM Walk-SAT MLPart
BDD: CuDD
Verification Tools: UCLID, SLAM, SVC, FORTE, Berkley VIS, Formality , Cadence SMV , NuSMV , GNU Prolog
Theorem Provers: PVS, ACL2, HOL, Simplify Vampyre CVC ICS
Benchmarks (RTL, SAT, ...): SCU-RTL, Colorado, Berkley, Texas97, GigaScale, SU-NewJersey, CMU 1 2, TI, OpenCores, OpenSource, SourceForge, CPU-Generator, SATLIB
EDACafe.com Tools for Download
Verilog Online Quick (html) references: University College Dublin, Sutherland HDL,Synthesizable Subset: NCU
Useful Scripts due to da-Silva (here is the corrected version of blif2cnf.pl)
[back to top]
CShell Quick Ref , Ref2 , Ref3
The EXT Code Documentation Tool for WWW
[back to top]
CAD-related Companies/Firms (alphabetical order)
Gigascale Silicon Research Center (GSRC), Focus Center Research Program (FCRP) (Forums at the HUB).
Conferences: DATE, DAC, ASP-DAC, CAV, ICCAD, Verification-list, CAD-list1, CAD-list2, Constraints-Programming-list .
Workshops: DCC, IWLS,VMCAI,BMC.
Journals: TCAD.
CAD Competitions: CADathlon, SAT.
<full list: here>
[back to top]
Paul Darga (Mr K), or more briefly, Mr King :)
[back to top]
[back to top]
A Tribute to True Computer Pioneers
News for Nurds... Stuff that matters!!
Free Online Books: The Inner Light Theory of Consciousness
[back to top]