Test Generation for Very High-Level Design Language (VHDL) Specifications Used in Avionics

doi 10.21236/ada416255
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

VHDL Generation From SDL Specifications

1997English

Real-Time Java API Specifications for High Coverage Test Generation

2012English

High Level Preprocessor of a VHDL-based Design System

2000English

RIDDLE: A Foundation for Test Generation on a High-Level Design Description

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1991English

Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Computer-Aided Design of Fuzzy Systems Based on Generic VHDL Specifications

IEEE Transactions on Fuzzy Systems
ControlSystems EngineeringApplied MathematicsMathematicsComputational TheoryArtificial Intelligence
1996English

Mutation of Model Checker Specifications for Test Generation and Evaluation

2001English

Avionics Design for a Sub-Scale Fault- Tolerant Flight Control Test-Bed

2012English

Recommended Technical Specifications for First Generation Test Surface and Subsurface Markers

1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy