Quick Links
- Daniel Kroening
- SMT Lists/Sets/Maps
- Google groups:
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.