Search results
Results from the WOW.Com Content Network
A list of verification and synthesis tools (public domain repository on GitHub) A list of verification tools for probabilistic, stochastic, hybrid, and timed systems; Common benchmarks. MCC (models of the Model Checking Contest): a collection of hundreds of Petri nets originating from many academic and industrial case studies.
Here is a list of significant model-checking tools: Afra: a model checker for Rebeca which is an actor-based language for modeling concurrent and reactive systems; Alloy (Alloy Analyzer) BLAST (Berkeley Lazy Abstraction Software Verification Tool)
This list may not reflect recent changes. List of model checking tools; B. BLAST model checker; C. Construction and Analysis of Distributed Processes; F.
Several templates and tools are available to assist in formatting, such as reFill (documentation) and Citation bot (documentation). ( September 2022 ) ( Learn how and when to remove this message ) HDL simulators are software packages that simulate expressions written in one of the hardware description languages , such as VHDL , Verilog ...
ATPG (acronym for both automatic test pattern generation and automatic test pattern generator) is an electronic design automation method or technology used to find an input (or test) sequence that, when applied to a digital circuit, enables automatic test equipment to distinguish between the correct circuit behavior and the faulty circuit behavior caused by defects.
PollExLogic - PCB schematic tool to import and view schematic sheets, designs, check symbols, nets, and object properties. PollExCP - Cross Probe for design comparison (Board to borad, and board to schematic to BOM) PollExBOM - BOM parsing and formatting tool; PollExCAM - To handle any type of Gerber data and compare revisions
VisualSim Architect – an electronic system-level software for modeling and simulation of electronic systems, embedded software and semiconductors. VSim - a multiphysics simulation software tool designed to run computationally intensive electromagnetic, electrostatic, and plasma simulations. zSpace – creates physical science applications
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays etc.).