Windows Errors? Fix Them Before They Spread
Repair common Windows errors and clear accumulated junk for a smoother, more stable PC - no reinstall needed.Free scan · no reinstallOutdated Drivers Are Slowing You Down
One free scan finds every outdated or missing driver and matches the right update for your exact hardware.Free scan · exact hardware matchOn October 6, 2003, TNI-Valiosys announced that it had acquired all shares of TransEDA Technology Ltd. and would combine the companies’ operations under the TransEDA name. The planned merger brought TNI-Valiosys’ formal and assertion-based verification expertise together with TransEDA’s coverage and verification tools. It is a historical account: the announcement set out plans for a Q1 2004 rebrand, but the available sources do not establish TransEDA’s current owner or the present availability of these products.
What happened in the TNI-Valiosys–TransEDA merger?
TNI-Valiosys announced the acquisition of TransEDA Technology Ltd. on October 6, 2003, saying it had purchased all of the company’s shares and would merge the operations. The combined group was planned to operate as TransEDA. The companies described the move as a way to bring complementary skills together to tackle growing design-validation demands and help customers get designs into production sooner. Embedded.com’s contemporaneous report also covered the combination.
The plan was to integrate staff into a single team while continuing to work from both companies’ existing R&D sites. Beginning in Q1 2004, the companies said, all TransEDA and TNI-Valiosys EDA products would be sold under the TransEDA name and supported through the combined global network. That was the announced plan, not confirmation here of how every product was ultimately branded or supported.
Why combine the companies’ verification portfolios?
TNI-Valiosys specialized in formal verification, assertion-based validation, and embedded-software verification. TransEDA contributed design coverage and ready-to-use verification solutions. Together, the companies presented their portfolio as a structured verification environment intended to fit into customers’ existing design flows and methodologies, improve verification productivity, and support faster progress from design toward production.
The Tool Desk
Outbyte PC Repair FREERepair Windows errors before they cause bigger problemsFix Now →Outbyte Driver Updater FREEFix the driver behind crashes, sound loss and screen glitchesFind Drivers →#1 Best Overall
The portfolios addressed different parts of verification work rather than offering one interchangeable tool: TNI-Valiosys products included assertion-driven RTL or netlist checking and tools for protocol-based hardware verification, while TransEDA offered a broader environment for automating tests, analyzing coverage, and using verification IP.
Which products were part of the combined portfolio?
| Company | Product | Purpose described in the 2003 announcement |
|---|---|---|
| TNI-Valiosys | imPROVE-HDL | Assertion-based verification to complement simulation and support exhaustive debugging of VHDL or Verilog RTL and netlist models without requiring test-bench creation. |
| TNI-Valiosys | imPROVE-HPK | An easy-to-deploy tool for automatic verification of hardware designs based on standard protocol interfaces. |
| TNI-Valiosys | imPROVE-TLL | An abstraction tool for full-custom designs, used with equivalence checking, emulation, or simulation. |
| TransEDA | Verification Navigator | An integrated design-verification environment with application-specific test automation, coverage analysis, dynamic property checking, test-suite analysis, and configurable HDL checking. |
| TransEDA | Foundation Models | A verification-IP library of models, monitors, and properties for popular I/O interfaces and processors. |
The product descriptions and proposed branding transition above come from the companies’ 2003 announcement. They document what the companies said the tools did at the time; they do not establish present-day compatibility, support, or availability.
Rank #2
- Used Book in Good Condition
Was Verification Navigator renamed, and are the imPROVE tools still available?
The announcement said that, starting in Q1 2004, all products from both companies would be sold under the TransEDA name. It does not specify a new name for Verification Navigator or confirm that it was renamed. Nor do the available sources establish whether Verification Navigator, the imPROVE tools, or related products such as VN-Cover can still be obtained or supported.
A Federal Aviation Administration tools catalogue records STOOD as “not supported” and Sildex as “not available, replaced by” RT Build. Those entries concern the tools named in that catalogue; they do not establish the status of Verification Navigator or the imPROVE line, or provide a complete history of the companies’ products. The FAA catalogue is therefore useful only for those specific legacy-availability entries.
Do these 3 things before closing this tab:
1Repair Windows errors before they cause bigger problems2Scan for outdated or missing drivers - takes under a minute3Clear out junk files and repair common Windows errorsRank #3
Who led the combined company, and how large was it?
The company announcement named Marc Frouin as president and CEO of the new TransEDA and said TransEDA CTO John Colley would continue strategic development. It also described sales, marketing, and product-development responsibilities across the combined management team. There is a discrepancy in the name given for the product-development executive: the announcement and the contemporaneous Embedded.com report do not agree. The sources therefore do not support choosing one name as definitive.
The announcement reported 35 TransEDA employees worldwide and 40 people in TNI-Valiosys’ EDA team. These are figures stated by the companies in 2003, not a measure of the combined organization’s eventual size. It also listed customers including Alcatel, ATI, Broadcom, Ericsson, Fujitsu, Hewlett-Packard, Hitachi, IBM, Infineon, LSI Logic, Lucent, Motorola, Nokia, Nortel, Philips, Siemens, Sony, Texas Instruments, and Toshiba.
Independent reader supportYour contribution helps us test, update, and keep practical guides available for everyone.What is known about TransEDA’s ownership today?
The cited sources document the 2003 acquisition and the companies’ intended operating and branding arrangements. They do not establish a current successor company, current corporate owner, or present support status for the products discussed. The FAA catalogue’s entries for STOOD and Sildex are limited availability information about those tools; they cannot answer who owns TransEDA now.
Quick Recap
Best Value
- FOR Small Facility, Complex, Housing, Arcade
- ONE-TIME-PURCHASE; Small Investment
- TOTAL 63 Features (Modules, 22 Reports)
- Unit, Staff; Member Maintenance & Reporting
- Request Trial, Try Features & Decide !
Product prices and availability are accurate as of the date/time indicated and are subject to change. Any price and availability information displayed on Amazon at the time of purchase will apply.

