| http://www.w3.org/ns/prov#value | - Though formal verification today is still seen as a niche application, published success stories from large semiconductor companies such as Analog Devices, Intel, NVIDIA and Texas Instruments have hastened the adoption of formal techniques in smaller companies, says Dan Benua, Senior Manager, Corporate Applications Engineering at Synopsys, Inc.
|
