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