Safety Properties Safety 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 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)
Safety Properties Safety 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
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)
VLSI Design
HPCA PACS
DATE ISQED ITSW
VTS
ISCAS NATW
IWLS DAC FTCS
CAV
ISLPED CFV
ICCD
ITC
HLDVT FMCAD ICCAD
ATS
Benchmark
Info
Conference
Homepages
IEEE
