LLM-assisted Generation of Hardware Assertions.
Rahul KandeHammond PearceBenjamin TanBrendan Dolan-GavittShailja ThakurRamesh KarriJeyavijayan RajendranPublished in: CoRR (2023)
Keyphrases
- low cost
- real time
- hardware and software
- knowledge base
- computer systems
- databases
- vlsi implementation
- computing systems
- hardware implementation
- personal computer
- image processing
- machine learning
- general purpose
- natural language
- search algorithm
- low power
- decision trees
- genetic algorithm
- single chip
- neural network
- standard pc
- parallel hardware