SparkEDA Inc develops state-of-the-art solutions assisting functional verification of hardware designs.
Our mission is to provide our customers with efficient design verification solution to prevent designs critical bugs, save time and improve quality of functional verification process. We aim to close gap between designers and verification engineers by enabling hardware designers with tools and methods to express and thoroughly verify the block-level and system-level design properties.
PANDA Formal Verifier : Formal Analysis solution to reveal critical design bugs
ASTRA Tools Suite: Assertions, Coverage, RTL Code, Tests generated from Waveforms and State Charts
COVERIS: Functional Coverage Collection and Management for Verilog and VHDL