jpsety / verilog_benchmark_circuits

EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Benchmark Circuits

This repository contains a set of benchmark circuits collected from two sources: ISCAS85 Benchmarks and the EPFL Combinational Benchmark Suite

These circuits have been synthesized with Cadence Genus. The primary purpose of this repository is to maintain consistent formating between the two sources. Specifically each circuit is in the generic gate verilog format and the circuit top and filename matches.

About

EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog


Languages

Language:Verilog 93.6%Language:Coq 6.4%