Santa Clara, California and Taipei, Taiwan, November 2, 2006
Real Intent, Inc., the leading supplier of static formal verification software for electronic design, has named Maojet Technology Corp. of Taiwan its exclusive distributor for that region. Maojet delivers high caliber sales and technical support to the region’s electronic design community.
“For distribution of verification solutions in Taiwan, Maojet is a recognized leader,” said Prakash Narain, President and CEO of Real Intent. “The technical capabilities of our distributors are extremely important to us, and in this area they are unsurpassed.”
Maojet General Manager, Mr. Ted Tsai, says Real Intent is a welcome addition to its portfolio. "Real Intent has a broad line of formal verification solutions," Tsai said. "With their large installed base and product portfolio we see large and growing opportunities for the Taiwanese market.”
About Real Intent’s Formal Verification Products
The EnVision formal verification product family improves electronic design quality from design specification to design sign-off. It includes: Ascent™, Conquest™, Clock Intent Verification™ and PureTime™ software products.
Designed with the most challenging Assertion-Based Verification (ABV) needs in mind, Conquest moves beyond block-level verification to cluster-level verification. The combination of its powerful formal Convergence Engine™ with an assertion visualization capability allows for more capacity and interactivity. With Conquest, users can verify their design using Property Specification Language (PSL) assertions, SystemVerilog Assertions (SVA) or Open Verification Library (OVL) checkers.
Ascent is focused on automatic checks that are derived from the design. It supports PSL and SVA for constraints and leverages the Convergence Engine for higher performance, resulting in faster results. Its automatic verification is used for logic verification, to find bugs in RTL code even before simulation is possible.
Clock Intent Verification is the most powerful clock domain crossing checking tool in the market. It acts as a final check to verify the functionality of the user’s synchronization scheme and protects against asynchronous clocking errors.
PureTime is a timing-exception verifier that detects timing exception errors that create schedule delays, chip respins, or failing hardware. It proves the correctness of timing exceptions created by designers, using exhaustive formal analysis. PureTime verification reduces schedule risks for companies who use a manual review process for exceptions and increases accuracy.
About Maojet
Founded in 1992, Maojet specializes in the distribution of EDA and IP in Taiwan. Headquartered in Taipei, the company has a satellite office in Hsinchu City.
Maojet Technology corporation headquarters are located at 6F-1, No.32-1, Sung-Chiang Road, Taipei, Taiwan. +886-2- 2567-7643. For more information, please visit maojet.com.tw.
About Real Intent
Real Intent is extending breakthrough formal technology to critical problems encountered by design and verification teams worldwide. Real Intent’s products dramatically improve the functional verification efficiency of leading edge application-specific integrated circuit (ASIC), system-on-chip (SOC), and Field Programmable Gate Array (FPGA) devices. Over 35 major electronics design houses, including Sun Microsystems, ATI, Marvell Technology Group, NVIDIA and NEC Electronics, use Real Intent software.
Real Intent is headquartered at 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085, phone: (408) 830-0700 fax: (408) 737-1962, web: www.realintent.com,
e-mail: info@realintent.com.
