Assertion Based Verification using Yosys: A Case Study from Nuclear Domain.

Shubam Gupta Ajith John Mohit Kalra

Published in: ISEC (2023)

Keyphrases

domain specific
model checking
case study
database
neural network
information systems
domain independent
face verification
information retrieval
artificial intelligence
objective function
natural language
multiresolution
verification method