Tarek Verification Systems, LLC. (www.tarek.com) has signed agreements with Avant Technology, Inc. (www.avant.com.tw) in Taiwan and Agamem Technology Co., Ltd. (www.agamem.com.cn) in Shanghai, China for distributing Tarek’s products, Draco and PCIE-VR.

Cupertino, Calif. (PRWEB) September 18, 2006 -- Tarek Verification Systems, LLC. (Tarek) has signed agreements with Avant Technology, Inc. (Avant) in Taiwan and Agamem Technology Co., Ltd. (Agamem) in Shanghai, China for distributing Tarek’s products, Draco and PCIE-VR.

Draco is a complete ASIC verification solution that consists of a set of automation tools. With Draco, verification engineers are dedicated 90% of their time working on assertion models because most of the traditional verification tasks, such as coding for verification environment and test cases, are automated.

PCIE-VR is a VIP for PCI Express. It is not only fully models and monitors PCI Express functionality, timing, and protocols but also generates realistic sophisticated concurrent-test scenarios automatically in all three layers. For the transaction layer verification, PCIE-VR features a multi-threaded traffic generator that greatly simplifies the verification of concurrent access to the designs. For the data link and physical layers, PCIE-VR features powerful randomized state transition loop mechanisms that exhaustively verify the flow control protocol and state machines.
   
“The ASIC verification automation solution and the PCI Express verification IP from Tarek are very advanced. We believe that this agreement with Tarek will bring a lot of benefit to the growing IC industry in Taiwan and in China”, said Bing-Ling Fan, President of Avant Technology Inc. and Agamem Technology Shanghai Co., Ltd.

“The ASIC verification automation markets in Taiwan and China will play a major role.” says Mike Morganstern, VP of Business Development at Tarek, “Avant and Agamem are highly experienced EDA distributors. We are very excited about the partnership that provides the best verification automation solution to ASIC developers in Taiwan and China.”

About Tarek

Tarek Verification Systems, LLC. was founded in 2004. It develops ASIC verification automation solutions and highly automated verification IPs for repeatable on-time first-silicon success and significantly shorter time to market. Tarek's innovative technology enables verification engineers as well as architects and designers to create quality and sophisticated tests automatically. For more information, please visit www.tarek.com.

About Avant

Avant Technology Inc. , a leading professional EDA distributor, was established in 1990 in Hsinchu, Taiwan. It is distributing the leading edge tools from ARM (ESL tools), Celoxica, Cadence (K2 tools), AerieLogic, Artwork and Tarek tools in Taiwan. Avant Technology Inc. is headquartered at 5F-2, No. 83, Sec. 2, Gongdaowu Rd., Hsinchu, Taiwan. For more information, please visit www.avant.com.tw.

About Agamem

Agamem Technology Shanghai Co., Ltd., a leading professional EDA distributor, was established in 2001 in Shanghai, China. It is distributing the leading edge tools from Oridus, Cadence (K2 tools), Solution-Soft, HDL Works, Artwork, and Tarek tools in China. Agamem Technology Shanghai Co., Ltd. is headquartered at Room 804, Zone B, Shanghai Hi-Tech Kingworld, No. 668, Eastern Beijing Rd., Shanghai, China.. For more information, please visit www.agamem.com.cn.