Downloads

STRATEGATE Sequential ATPG Executable Download
STRATEGATE sequential ATPG download

Automatic Validation Stimuli Generator Executable Download
Automatic Validation Stimuli Generator download

BEACON Design validation
BEACON design validation files

Safety Properties and vectors
General Safety Property Benchmarks
State Reachability Benchmarks

Some benchmark circuits
ISCAS85 combinational benchmark circuits
ISCAS89 sequential benchmark circuits
ISCAS93 addendum sequential benchmark circuits
High-level (Verilog) models for ISCAS Circuits
High-level synthesis benchmark circuits
Hierarchical structural benchmark circuits

Sequential Equivalence Checking Miters
Sequential Miters

Some synthesized benchmark circuits (gate-level) on the web:
ITC99 benchmarks
Synthesized Circuits
IP Cores
Advanced EDA Benchmark Datasets
More benchmarks site

STRATEGATE VECTORS: Test vectors available from STRATEGATE ( pdf)

Conference Homepages

January February March April

VLSI Design

HPCA
PACS

DATE
ISQED
ITSW

VTS

May June July August

ISCAS
NATW

IWLS
DAC
FTCS

CAV

ISLPED
CFV

September October November December

ICCD

ITC

HLDVT
FMCAD
ICCAD

ATS

IEEE ACM TTTC

Chip Design, Manufacturing, and EDA Companies


Proactive Lab. Virginia Tech. Last Update: Augest 1, 2003