RAG-aided-Assertion-Generation

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
.vscode		.vscode
Evaluation		Evaluation
PlotFigures		PlotFigures
RAG_Database		RAG_Database
RelatedWorks		RelatedWorks
Results		Results
SVTextbooks		SVTextbooks
Src		Src
VerilogTextBooks		VerilogTextBooks
.DS_Store		.DS_Store
README.md		README.md
lightrag.log		lightrag.log
operators.json		operators.json
requirement.txt		requirement.txt
sva_property_sequence_operators.jsonl		sva_property_sequence_operators.jsonl

Provide feedback