Imperas Software Ltd., a privately owned UK-based company founded in 2009, develops verification tools. Employing approximately 10 people as of 2023, the company's most recent annual revenue was less than $1 million. Imperas is a subsidiary of Synopsys.