Verific App Store Opens with
Downloadable Examples of Parser Platform Applications

• Initial offerings include a hierarchy explorer, linter, HDL editor, signal tracer, essential tools for hardware design and verification
• Verific App Store opens July 27 as 63rd DAC begins in Long Beach, Calif.

ALAMEDA, CALIF. –– July 22, 2026 –– Verific Design Automation today announced the Verific App Store with a toolkit and downloadable example applications showcasing a variety of essential electronic design automation (EDA) point tools and solutions built using its Parser Platforms.

The Verfic App Store will open Monday, July 27, as the 63rd Design Automation Conference (DAC) convenes at the Long Beach Convention Center in Long Beach, Calif. Verific will offer in DAC Booth #1052 demonstrations of the new Verific App Store examples along with demonstrations of its SystemVerilog, Verilog, VHDL and UPF front-end Parser Platforms.

“We want to show how you can build really cool EDA products with our Platform," remarks Rob Dekker, Verific's president, founder and CTO. "In the Verific App Store, we started with a number of useful EDA point tools that are fast running, simple to license and easy to use by AI and HI (Human Intelligence) alike.”

As the leading provider of front-end platforms, Verific powers EDA with its SystemVerilog, Verilog, VHDL and UPF parser software used as the foundation for both in-house and commercially available EDA tools and flows. Applications range from synthesis and formal verification to emulation, debugging, virtual prototyping, low-power design and design-for-test tools.

Currently Available Parser Platform Apps
Example apps currently available at the Verific App Store include a hierarchy explorer, a linter, an HDL editor and a signal tracer, essential tools for hardware design and verification.

HierRTL is a Hierarchy Explorer that reports the structural hierarchy of Verilog, SystemVerilog, and VHDL designs directly from the parse tree without the need for elaboration. Engineers can visualize and navigate the hierarchical structure of their designs and understand relationships between different modules and components, making it easier to manage complex designs.

LintRTL is a Linter tool for SystemVerilog and VHDL that identifies design issues early with configurable lint rules and advanced synthesizability checks. It analyzes code for potential errors, style issues and adherence to coding standards. It helps ensure that the HDL code is clean and maintainable, reducing bugs before simulation or synthesis.

SnapRTL is an automated HDL editor used to analyze, modify and export designs while preserving the original code and formatting. It gives engineers confidence to be able to modify their designs in a specialized environment for writing and editing HDL code. SnapRTL features syntax highlighting, code completion and error detection, streamlining the coding process and improving productivity.

TraceRTL is a Signal Tracer for SystemVerilog and VHDL to improve traceability and speed debug. It monitors and analyzes signals within the design and provides insights into signal behavior during simulation, helping engineers effectively debug and optimize their designs.

Additional apps will be added in the future.

Availability and Pricing
"We will be adding more EDA point tools as we go,” says Dekker. “Currently most base products are free of charge, and we only charge a small fee for more advanced product features.”

The Verific App Store will open July 27. Tool flow developers can download the tools in the Verific Toolkit with or without being an existing Verific customer, but registration is required. New users will be asked to register with a Verific Passport account.

Basic tools are currently free, but advanced features require a monthly subscription fee. Free evaluations are available for 14 days.

The Verific App Store can be found at: https://store.verific.com/

Verific at DAC
Attendees can arrange demos or private meetings with Verific during DAC exhibit hours July 27-29 by sending email to [email protected].

DAC registration is open.

About Verific Design Automation
Verific Design Automation is the leading provider of SystemVerilog, Verilog, VHDL and UPF Parser Platforms that enable project groups worldwide to develop advanced electronic design automation (EDA) products quickly and cost effectively. Verific’s software serves as the front end to synthesis, formal verification, emulation, debugging, virtual prototyping, low-power design and design-for-test tools. With offices in Alameda, Calif., and Kolkata, India, Verific has shipped more than 80,000 copies of its software used by the EDA and semiconductor industry since it was founded in 1999.

Engage with Verific at:
Email: [email protected]
Website: www.verific.com
LinkedIn: https://www.linkedin.com/company/verific-design-automation-inc/

• Read more about Verific App Store Opens with Downloadable Examples of Parser Platform Applications

Brno, Czech Republic - July 10, 2026

Tescan, a pioneer in electron microscopy, announces the successful completion of its full acquisition by Shimadzu Corporation. As of July 7th, Tescan officially becomes a member of the Shimadzu Group, marking an important milestone in the company’s continued growth and evolution.

This step builds on the strong business alliance established in 2024 and reflects a shared commitment to advancing scientific discoveries and industrial innovations worldwide.
 

Strengthening the Value Delivered to Tescan Customers

“For Tescan customers, this new chapter brings enhanced capabilities, broader expertise, and expanded access to integrated solutions, while preserving the agility, innovation, and customer focus that define the Tescan way,” said Sirine Assaf, CRO, Tescan. 

By combining Tescan’s leadership in surface analysis and electron microscopy technologies, including SEM, FIB-SEM, and TEM, with Shimadzu’s strengths in compositional and materials analysis, customers will benefit from:
 

• More comprehensive solutions across research, development, and production workflows

• Deeper application support through combined expertise in materials science, life sciences, and semiconductors

• Accelerated innovation driven by joint R&D and shared technologies

• Access to a larger global support network and enhanced service capabilities

• Expanded product portfolio and future integrated offerings

Importantly, Tescan remains committed to maintaining its customer-centric approach, strong technical support and responsiveness, ensuring continuity in partnerships and daily operations.

Expanding Global Reach While Preserving the Tescan Way

Tescan’s growth will be further supported by Shimadzu’s global presence, particularly in Asia, alongside strengthened positions in Europe and the Americas. This will allow Tescan to:
 

• Reach new markets and customers worldwide 

• Scale manufacturing and service capabilities

• Enhance operational efficiency while maintaining flexibility 

At the same time, Tescan will continue to operate from its headquarters in Brno, preserving its identity, expertise, and innovation culture. 

Proven Track Record and Future Growth 

Since its founding in 1991, Tescan has delivered over 4,000 electron microscopes across more than 80 countries, supporting customers in both research and industrial environments. 

This acquisition reinforces Tescan’s long-term strategy to expand its technological leadership and deliver higher-value solutions, ensuring customers remain at the center of its development. 

Continued Collaboration and Product Innovation

The successful collaboration between Tescan and Shimadzu has already been demonstrated through the joint “Shimadzu by Tescan” SEM product line introduced in Japan. 

Building on this strong foundation, the integration marks a natural next step in deepening cooperation across technologies and markets. As part of this evolution, Tescan will adopt a new endorsed brand identity, “Tescan, A Shimadzu Company,” across its portfolio and communications. This reflects both the strength of the combined organizations and Tescan’s continued commitment to delivering innovative, customer-focused solutions under a globally recognized framework.

Forward-Looking Statement for Customers

This acquisition is in fully synergy with Tescan and Shimadzu strategic plans and it makrs an acceleration of what Tescan already does best: delivering high-performance systems, application-driven innovation, and close collaboration with customers.

About Tescan 

Tescan develops and manufactures advanced electron microscopy solutions for materials science, life sciences, semiconductor research, industrial R&D, and quality control. With a focus on imaging performance, automation, usability, and long-term collaboration, Tescan helps researchers see the invisible and accelerate discovery through reliable, future-ready microscopy workflows.

• Read more about Tescan Joins Shimadzu Group to Accelerate Innovation and Deliver Greater Value to Customers