2 ms·FVEval: Language Model Capabilities in Formal Verification of Digital Hardware1 points by sandwichsphinx 2y ago