The topic of this article may not meet Wikipedia's notability guidelines for products and services. (April 2021)
OpenVera was a hardware verification language developed by System Science and acquired by Synopsys.
- ^ "Synopsys Acquires Systems Science, Inc". 24 July 1998.