元一科技

吉林省元一科技有限公司为美国Tukarla全资子公司在华分理处，美国Tukarla于2012年创办于美国硅谷，成长至今已经成为继Synopsys、Mathwork公司后全球第三大形式化验证提供商，2016-2017财年产值近8000万美元。