System Verilog Assertions Synthesis Based Compiler.

Omar Amin Youssef Ramzy Omar Ibrahem Ahmed Fouad Khaled Mohamed Mohamed Abdelsalam

Published in: MTV (2016)

Keyphrases

general purpose
programming language
knowledge base
information retrieval
program synthesis
databases
neural network
software systems
highly optimized
distributed memory machines
data mining
multi agent
level parallelism