ALINT-PRO is a design verification solution for RTL code written in VHDL, Verilog, and SystemVerilog, which is focused on verifying coding style and naming conventions, RTL and post-synthesis simulation mismatches, smooth and optimal synthesis, correct FSM descriptions, avoiding problems on further design stages, clocks and reset tree issues, CDC, RDC, DFT, and coding for portability and reuse. The solution performs static analysis based on RTL and SDC™ source files uncovering critical design issues early in the design cycle, which in turn reduces design signoff time dramatically. Running ALINT-PRO before the RTL simulation and logic synthesis phases prevents design issues spreading into the downstream stages of design flow and reduces the number of iterations required to finish the design. Single Framework...

AnyLogic is the leading simulation modeling software for business applications, utilized worldwide by over 40% of Fortune 100 companies. AnyLogic simulation models enable analysts, engineers, and managers to gain deeper insights and optimize complex systems and processes across a wide range of industries. Multimethod modeling environment Develop models using all three modern simulation methods: Discrete Event Agent Based System Dynamics The three methods can be used in any combination, with one software, to simulate business systems of any complexity. In AnyLogic, you can use various visual modeling languages: process flowcharts, statecharts, action charts, and stock & flow diagrams. Opration Platforms: Ubuntu Linux 18 and 20, x64 (with installed GTK+, libwebkitgtk-1.0-0, libudev, libssl), Firefox 24+ Linux Mint 17, x64 (with installed...
The first release of Sigasi® Visual HDL™ (SVH™) for 2025 features various UX improvements, a new VHDL linting rule and improved VHDL highlighting, and many small fixes. SVH 2025.1 adds many UX improvements and gives some extra love to VHDL. We are expanding the set of Code Lenses. They allow to open the State Machines Diagram, add unmapped files to the project, export documentation, and one to export the compilation order. Additionally, Code Lenses can now individually be enabled and disabled. We are also introducing a variant of Code Lenses, Inlay Hints. These fulfill the same action as Code Lenses—providing extra contextual actions or information—but they are displayed inline rather than on a line above the code. Exploring your design or testbench top-down has never been as...

Leica CloudWorx for Revit is a breakthrough plug-in for efficiently using rich as-built point cloud data, captured by laser scanners, directly within Revit for better BIM modelling of existing buildings. This is useful for a wide range of BIM activities including retrofit design, construction and operations, and lifecycle asset management of the building. It provides a virtual visit to the site within Revit with a complete view of the captured reality. Requirement:Autodesk Revit Architecture, MEP and Structure 2021 – 2025 Leica CloudWorx 2024.1.1 For Revit 2022-2025 Tested Picture Users take advantage of the familiar Revit interface and tools to shorten the learning curve for working with laser scan data. Leica CloudWorx and the powerful Leica Cyclone and new Leica JetStream...

Leica CloudWorx for AutoCAD is the most efficient and popular plug-in software for using as-built point cloud data – captured by laser scanners – directly within AutoCAD. Requirement:Autodesk AutoCAD, Civil 3D, Plant3D and Map3D 2021 – 2025 Leica CloudWorx 2024.1.1 For AutoCAD 2022-2025 Tested Picture Users take advantage of the familiar AutoCAD interface and tools to shorten the learning curve for working with laser scan data. Users can create accurate 2D and 3D as-builts, check proposed designs against existing conditions, perform critical construction & fabrication QA, and more… all directly within AutoCAD. In the past, users often struggled with point cloud manipulation when using AutoCAD point cloud plug-ins. CloudWorx overcomes this with its powerful TruSpace viewing window. This intuitive, panoramic...

Sim4Life V8.2.2 is the latest version of our online simulation platform for computational life science research, device design, and optimization, as well as safety and electromagnetic compliance evaluations. This new release introduces significant improvements to enhance your simulation experience and makes Sim4Life more user-friendly and efficient. ZMT Sim4Life 2025 v8.2.2 Tested Picture The highlights of Sim4Life.desktop V8.2.2: Electrostimulation Models: Four parameterized contact impedance models are now available which can be integrated with excitation pulses applied to neuron or thermal simulations. New Implant Routing Tools: Introducing the Routing Tool for simulating diverse implant paths and the Check Wire Path tool for visualizing tissue traversal by color-coding spline segments. Predefined Anatomical Postures: Easy access to predefined postures for common scenarios (standing, sitting, driving, etc.) with...

Built as a plugin to ArcGIS Pro, Discover for ArcGIS Pro is a comprehensive package for the importation, centralisation and analysis of geoscientific data, whether you are conducting mineral exploration, or environmental assessments. Import drillhole data from numerous different data repositories and seamlessly refresh data as new data becomes available. Create legends to apply to all of your ArcGIS Pro data types: surface, drillhole, line or point data. Datamine Discover 2.1 for ArcGIS Pro 3.1.5 Tested Picture Create section templates to manage all of your section data and styling in 2D or 3D to keep all section data in standard formats and styles across your project. Digitise data, register images on section and seamlessly send this to 3D. Import 2D data and...
TempoQuest’s (TQI’s) software product, AceCAST, accelerates the world’s most widely used regional weather forecasting model, known as the Weather Research and Forecasting (WRF) model, which is supported by the U.S. National Center for Atmospheric Research (NCAR). WRF is widely utilized by more than 36,000 registered users located in 162 countries, and is a next-generation mesoscale Numerical Weather Prediction (NWP) system designed to serve both operational forecasting and atmospheric research needs. WRF features multiple dynamical cores and a software architecture allowing for computational parallelism and system extensibility. WRF is suitable for a broad spectrum of applications across scales ranging from meters to thousands of kilometers. AceCAST is a powerful cutting-edge software powered by Graphics Processing Units (GPUs) that enable acceleration of the WRF model. AceCAST is the product of...

QIAGEN CLC Genomics Workbench Premium expands upon QIAGEN CLC Genomics Workbench, the industry standard platform for bioinformatics computing. Plugins and modules add a layer of specialized tools and workflows to QIAGEN CLC Genomics Workbench, creating a comprehensive solution for microbial genomics, metagenomics and single cell data analyses. Microbial and metagenomics QIAGEN CLC Genomics Workbench Premium delivers tools and workflows for a broad range of bioinformatics needs for microbiome analysis, isolate characterization, functional metagenomics and antimicrobial resistance characterization. CLC Genomics Workbench Premium 25 Win/Linux Tested Picture Microbial profiling: Assemble and annotate high quality reference genomes for critical type strains, and manage your database of reference genomes. Pathogen and outbreak analysis: Leverage whole genome analysis for epidemiological outbreak investigation. Accurately type and...

Sigasi Visual HDL (SVH) is an HDL platform for VHDL and SystemVerilog that gives hardware designers and verification engineers better insight during the design process. SVH enables users to easily manage HDL specifications by validating code early in the design flow, well before simulation and synthesis flows. It does so by standardizing the concept of an HDL design project, shifting simulation and synthesis projects into a world of integrated development, synchronous visualization, and shift-left validation. Sigasi Visual HDL Enterprise Edition 2024.1 Tested Picture SVH enables hardware designers and verification engineers to easily manage HDL specifications by validating code early in the design flow, well before simulation and synthesis flows. It does so by standardizing the concept of an HDL design...