Hardware Verification

Our Hardware Verification Tools

Chip We specialize in high-level hardware verification, that is, verification at the word-level or for transaction level modeling (TLM). Our Model Checking tools accept synthesizable Verilog or SystemC as input.

Benchmarks

Relevant Publications