Latest release Page 15
TQS Informatica Systemas TQS 2026 v26.2.1TQS is a professional structural engineering software suite developed by the Brazilian company TQS Informбtica for the analysis, design, detailing and drawing of building structures — mainly reinforced and prestressed concrete and other structural elements. Integrated structural design platform: TQS isn’t just one tool — it’s a set of software systems that work together to handle the full structural engineering workflow, from model creation and structural analysis through reinforcement detailing and plan generation. Focused on reinforced concrete and related structures: Many modules support design and checks under Brazilian technical norms (ABNT), but the software is also used internationally in projects where similar codes and workflows apply. Productivity and BIM-ready: It’s designed to automate repetitive engineering...
Altium Designer 26.3.0 Altium Designeris an integrated computer-aided design (CAD) system for electronic equipment developed by the Australian company Altium. Previously, the same company developed P-CAD, which gained extraordinary popularity among Russian PCB designers. Altium Designer is a powerful system that allows you to implement electronic designs at the level of a circuit or program code, and then transfer information to an FPGA or printed circuit board. A distinctive feature of the program is the design structure and end-to-end integrity of development at different levels of design. In other words, design changes at the board level can be instantly transferred to the FPGA or circuit level and vice versa. Also, as a priority for the developers of this program, it...
LieberLieber LemonTree 4.2.1Managing different versions of the same model. LemonTree is the Plug & Play model versioning tool (Diff & Merge) that revolutionizes the work of a distributed modeling team and supports compliance with required standards such as ISO 26262.Product:LieberLieber LemonTree 4.2.1 Lanaguage:english Platform:Win7/WIN10 Size:1CD
Valentin Software GeoT*SOL 2026 R2 Valentin Software GeoT*SOL is a specialized, professional software for the planning, simulation, and yield analysis of photovoltaic (PV) systems, solar thermal systems, and heat pumps. It is particularly renowned for its high-precision simulation engine and detailed modeling of complex system configurations, including those with geothermal probes or borehole heat exchangers. Core Value Proposition The software's core strength lies in its ability to perform detailed, site-specific, and weather-data-driven simulations to accurately predict the annual energy yield and economic performance of renewable energy systems. It is a tool for engineers, planners, and consultants to design optimized systems and create reliable feasibility studies for clients and investors. Primary Modules & Simulation Capabilities GeoT*SOL is a modular suite where...
Cadence JASPER 25.12 Cadence Jasper is a market-leading suite of Formal Verification tools within the Electronic Design Automation (EDA) industry. Its core function is to mathematically prove the correctness of a digital hardware design (at the Register-Transfer Level – RTL) against its specification, exhaustively and without the need for simulation testbenches. Product:Cadence JASPER 25.12 Lanaguage:english Platform:Linux/Macosx Size:2DVD
SYNOPSYS VC Formal 2025.06 Synopsys VC Formal is a comprehensive suite of formal verification applications built on a high-performance, scalable formal engine. It is designed to exhaustively prove the correctness of hardware designs (RTL) and system-level models without simulation, and is a core component of the Synopsys Verification Continuum®. Core Value Proposition & Methodology VC Formal applies mathematical proof techniques to verify that a design satisfies its specified properties (assertions) under all possible input sequences and states. It is particularly powerful for: Exhaustive Block-Level Verification: Finding deep, corner-case bugs in control logic, arbiters, and finite state machines that are nearly impossible to hit with simulation. Automated Sign-off Checks: Running predefined, reusable apps to check for common design issues early in...
SYNOPSYS Verdi vx 2025.06 Synopsys Verdi is the industry-standard Automated Debug System for complex hardware design and verification. It is the central platform for understanding, analyzing, and debugging failures in simulation, emulation, and formal verification environments. Its core strength is its tight integration across the Synopsys Verification Continuum® (VCS®, ZeBu®, VC Formal®, etc.), providing a unified debug environment for all verification engines. Core Value Proposition Verdi moves beyond basic waveform viewing. Its primary value is dramatically reducing debug time by automating the root-cause analysis of failures. It connects simulation results (logs, assertions, coverage) directly back to the source RTL, SystemVerilog, and UVM testbench code. Primary Capabilities & Features The Verdi platform encompasses several key technologies and applications: Product:SYNOPSYS Verdi vx...
RealCADD 5.71 RealCADD is a CAD software application with many of the features: Quotation tools, automatic snap-to functions, hatch, layers, and more.Features included with RealCADD:• The tool pallet lets you choose a drawing tool to work with. These include two drawing modes, zoom, lasso, line color and thickness, dotted or plain single or double lines, arrow lines, and more.• Snap-to options: to grid, to object ends, to object centers, to object intersections, to perpendicular and to tangent.• The object edit pallet shows you the coordinates of the selected object. You can also modify objects with values or arithmetics formulas. This pallet also indicates the number of selected objects as well as their scale.• Layers can be named, have default scale...
Mentor Graphics AMSV 2024 linux Mentor Analog Mixed-Signal (AMS) Verification 2024 for Linux | Unified Verification Platform for Analog/Mixed-Signal ICs Mentor AMS Verification 2024 for Linux is a comprehensive, Linux-native verification platform for complex analog and mixed-signal integrated circuits. It combines fast SPICE simulation, analog behavioral modeling, and digital event-driven simulation in a unified environment to verify the interaction between analog and digital blocks efficiently. Core Functionality Overview: Unified Mixed-Signal Simulation Engine: Integrates the ELDO fine-grain parallel SPICE simulator with the Questa ADMS digital simulator, enabling accurate and fast co-simulation of transistor-level analog blocks with RTL or gate-level digital logic. Advanced Modeling & Verification Methodology: Supports real-number modeling (RNM), Verilog-AMS, and VHDL-AMS for creating abstract models of analog blocks, drastically...
Mentor Calypto SLEC 2024 Mentor Calypto SLEC 2024 | Sequential Logic Equivalence Checking & High-Level Synthesis Verification Platform Mentor Calypto SLEC 2024 is an advanced formal verification tool that performs sequential equivalence checking between RTL designs and their high-level synthesis (HLS) or SystemC/C++ source models. It mathematically proves functional equivalence across different levels of abstraction, crucial for verifying HLS and optimizing RTL implementations. Core Functionality Overview: Sequential Equivalence Checking for HLS Flows: Formally verifies that the generated RTL from a high-level synthesis tool (e.g., Catapult HLS) is functionally equivalent to the original C++/SystemC algorithmic source, even in the presence of complex sequential optimizations like pipelining and scheduling. Automatic Abstraction & Debug Environment: Automatically abstracts away implementation details (like timing, interfaces)...