Auxiliary State Machine Controlled Autonomous Design Verification Framework.

Gurumurti Kailaschandra Avhad Shitin Sahu Navaneeth Kumar

Published in: VTS (2023)

Keyphrases

state machine
design principles
conceptual framework
cooperative
main contribution
computer aided
computational framework
software architecture
database
simulation environment
theoretical framework
software engineering
information systems
engineering design
design decisions
neural network
formal methods
databases