DOCUMENT TYPE: MANUAL – PROJECT: TRANSLATION ENGLISH TO ITALIAN – CUSTOMER COUNTRY: CHINA Categories: ELECTRONICS & EQUIPMENT Tags: SEMICONDUCTORS FORMAL VERIFICATION PLATFORM